Package | Description |
---|---|
de.uni_due.inf.ti.graph |
Modifier and Type | Method and Description |
---|---|
Morphism.MorphismCollection |
Morphism.getCompletions(Morphism large)
Returns all morphisms which, when composed to this morphism, result in a
given morphism.
|
Morphism.MorphismCollection |
Morphism.getCompletions(Morphism large,
boolean injective)
Returns morphisms which, when composed to this morphism, results in a
given morphism.
|
Morphism.MorphismCollection |
Morphism.getInjectiveCompletions(Morphism large)
Returns all injective morphisms which, when composed to this morphism,
result in a given morphism.
|
static Morphism.MorphismCollection |
Morphism.getInjectiveMatches(Graph domain,
Graph codomain)
Returns a collection of all injective morphisms from one graph to
another.
|
static Morphism.MorphismCollection |
Morphism.getInjectiveMatches(Graph domain,
Graph codomain,
Morphism base)
Returns a collection of all injective, total morphisms from one graph
to another, which are an extension of a given (partial) morphism.
|
static Morphism.MorphismCollection |
Morphism.getIsomorphisms(Graph domain,
Graph codomain)
Returns a collection of all isomorphism between two graphs.
|
static Morphism.MorphismCollection |
Morphism.getIsomorphisms(Graph domain,
Graph codomain,
Morphism base)
Returns a collection of all isomorphisms between two graphs which are
extension of a given injective morphism.
|
static Morphism.MorphismCollection |
Morphism.getMatches(Graph domain,
Graph codomain)
Returns a collection of all total morphisms from one graph to another.
|
static Morphism.MorphismCollection |
Morphism.getMatches(Graph domain,
Graph codomain,
boolean injective)
Returns a collection of all total morphisms from one graph to another.
|
static Morphism.MorphismCollection |
Morphism.getMatches(Graph domain,
Graph codomain,
boolean injective,
Morphism base)
Returns a collection of all the total morphisms from one graph to
another which are extensions of a given (partial) morphism.
|
static Morphism.MorphismCollection |
Morphism.getMatches(Graph domain,
Graph codomain,
Morphism base)
Returns a collection of all the total morphisms from one graph to
another which are extensions of a given (partial) morphism.
|
static Morphism.MorphismCollection |
Morphism.getPartialMorphisms(Graph domain,
Graph codomain,
boolean injective,
Morphism base)
Returns a MorphismCollection of partial morphisms from a domain to a
codomain which are extensions of a given base morphism.
|
static Morphism.MorphismCollection |
Morphism.getPartialMorphisms(Graph domain,
Graph codomain,
Morphism base)
Returns a MorphismCollection of partial morphisms from a domain to a
codomain which are extension of a given base morphism.
|