Package | Description |
---|---|
de.uni_due.inf.ti.graph | |
de.uni_due.inf.ti.graph.io | |
de.uni_due.inf.ti.graph.util |
Utility classes.
|
de.uni_due.inf.ti.graph.visual |
The classes of this package provide an interface between the Hypergraph
Library and the VisiGraph graph visualization library.
|
Modifier and Type | Method and Description |
---|---|
Morphism |
InterfaceGraph.Interface.asMorphism()
Returns this interface as a morphism to the graph of which this is
an interface.
|
Morphism |
InterfaceGraph.Interface.asMorphism(Graph domain)
Returns this interface as a morphism from a given domain to the
graph of which this is an interface.
|
Morphism |
Morphism.compose(Morphism m)
Composes this morphism with another morphism.
|
static Morphism |
Morphism.create(Graph domain,
Graph codomain)
Creates a new, empty morphism with given domain and codomain.
|
static Morphism |
Morphism.create(Graph domain,
Graph codomain,
java.util.Map<Node,Node> nodeMap)
Creates a new morphism which only maps nodes.
|
static Morphism |
Morphism.create(Graph domain,
Graph codomain,
java.util.Map<Node,Node> nodeMap,
java.util.Map<Edge,Edge> edgeMap)
Creates a new morphism from a node map and an edge map.
|
static Morphism |
Morphism.createComposition(Morphism... fs)
Creates a new Morphism which is the composition of a number of
morphisms.
|
static Morphism |
Morphism.createIdentity(Graph graph)
Creates a new identity morphism.
|
static Morphism |
Morphism.createIsomorphism(Graph graph)
Creates a new graph which is isomorphic to a given graph and returns
an isomorphism between that graph and the new one.
|
Morphism |
Morphism.MorphismResult.getCodomainCorrespondence()
Returns the codomain correspondence morphism.
|
Morphism |
Rule.getCorrespondence()
Returns the correspondence morphism of this rule.
|
Morphism |
Morphism.MorphismResult.getDomainCorrespondence()
Returns the domain correspondence morphism.
|
Morphism |
Graph.getInclusion(java.util.Collection<Edge> edges)
Returns an injective morphism whose image is a subgraph of this graph.
|
Morphism |
Graph.getInclusion(java.util.Collection<Node> nodes,
java.util.Collection<Edge> edges)
Returns an injective morphism whose image is a subgraph of this graph.
|
Morphism |
Graph.getInducedInclusion(java.util.Collection<Node> nodes)
Returns an injective morphism that has this graph as domain, whose
image is an induced subgraph of this graph.
|
static Morphism |
Morphism.getInjectiveMatch(Graph domain,
Graph codomain)
Returns an injective, total morphism from a given domain to a given
codomain which is an extension of a given morphism.
|
static Morphism |
Morphism.getInjectiveMatch(Graph domain,
Graph codomain,
Morphism base)
Returns an injective morphism from a given domain to a given codomain.
|
Morphism |
Morphism.getInverse()
Returns a new Morphism which is the inverse of this morphism.
|
static Morphism |
Morphism.getIsomorphism(Graph domain,
Graph codomain)
Returns an isomorphism from a given domain to a given codomain graph.
|
static Morphism |
Morphism.getIsomorphism(Graph domain,
Graph codomain,
Morphism base)
Returns an isomorphism from a given domain to a given codomain graph
which is an extension of a given morphism.
|
Morphism |
Transition.getMatch()
Returns the match of this transition.
|
static Morphism |
Morphism.getMatch(Graph domain,
Graph codomain)
Returns a total morphism from a given domain to a given codomain.
|
static Morphism |
Morphism.getMatch(Graph domain,
Graph codomain,
boolean injective)
Returns a morphism from a given domain to a given codomain.
|
static Morphism |
Morphism.getMatch(Graph domain,
Graph codomain,
boolean injective,
Morphism base)
Returns a morphism from a given domain to a given codomain which is
an extension of a given base morphism.
|
static Morphism |
Morphism.getMatch(Graph domain,
Graph codomain,
Morphism base)
Returns a total morphism from a given domain to a given codomain which
is an extension of a given morphism.
|
Morphism |
Transition.getMorphism()
Returns the morphism of this transition.
|
Morphism |
Morphism.MorphismResult.getResult()
Returns the result morphism.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Morphism> |
Rule.getMatches(Graph graph)
Returns a collection of matches of this rule to a given graph.
|
java.util.List<Morphism> |
NacRule.getNacs()
Returns the list of negative application conditions for this rule.
|
de.uni_due.inf.ti.util.Pair<Morphism,Morphism> |
Rule.getRuleIsomorphism(Rule other)
Returns a rule isomorphism between this rule and another given rule.
|
de.uni_due.inf.ti.util.Pair<Morphism,Morphism> |
Rule.getRuleIsomorphism(Rule other)
Returns a rule isomorphism between this rule and another given rule.
|
de.uni_due.inf.ti.util.Pair<Morphism,Morphism> |
Morphism.getSubMorphism(Morphism srcInc)
This method returns a pair of morphisms (
f ,g ) such that
srcInc ; this == f ; g . |
de.uni_due.inf.ti.util.Pair<Morphism,Morphism> |
Morphism.getSubMorphism(Morphism srcInc)
This method returns a pair of morphisms (
f ,g ) such that
srcInc ; this == f ; g . |
Modifier and Type | Method and Description |
---|---|
void |
NacRule.addNac(Morphism nac)
Adds a negative application condition to this rule.
|
Rule |
TransformationSystem.addRule(Morphism corr)
Creates a new rule based on the given correspondence morphism and adds
it to this transformation system.
|
Transition |
ExplicitTransitionSystem.addTransition(Morphism morph)
Adds a transition to this ExplicitTransitionSystem by giving the
new transition's correspondence morphism.
|
void |
Trace.addTransition(Morphism m)
Adds a new transition to this trace which is created from a morphism.
|
void |
ExplicitTransitionSystem.addTransitions(Morphism first,
Morphism... more)
Adds transitions to this transition system.
|
void |
ExplicitTransitionSystem.addTransitions(Morphism first,
Morphism... more)
Adds transitions to this transition system.
|
Transition |
Rule.applyToMatch(Morphism match)
Applies this rule to a graph with respect to a match.
|
Transition |
Transition.changeCoordinates(Morphism srcIso,
Morphism tgtIso)
Creates a new transition which is the same as this transition except
that the source and target are changed to isomorphic graphs.
|
Transition |
Transition.changeSource(Morphism iso)
Creates a new transition which is the same as this transition except
that the source is changed to an isomorphic graph.
|
Transition |
Transition.changeTarget(Morphism iso)
Creates a new transition which is the same as this transition except
that the target is changed to an isomorphic graph.
|
protected boolean |
NacRule.checkMatch(Morphism match)
Determines if a given match satisfies additional application conditions
for this rule.
|
protected boolean |
Rule.checkMatch(Morphism m)
Determines if a given match satisfies additional application conditions
for this rule.
|
Morphism |
Morphism.compose(Morphism m)
Composes this morphism with another morphism.
|
static ExplicitTransitionSystem |
ExplicitTransitionSystem.create(Graph initial,
Morphism... transitions)
Creates a new ExplicitTransitionSystem.
|
static Morphism |
Morphism.createComposition(Morphism... fs)
Creates a new Morphism which is the composition of a number of
morphisms.
|
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 |
Morphism.getInjectiveMatch(Graph domain,
Graph codomain,
Morphism base)
Returns an injective morphism from a given domain to a given codomain.
|
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 |
Morphism.getIsomorphism(Graph domain,
Graph codomain,
Morphism base)
Returns an isomorphism from a given domain to a given codomain graph
which is an extension of a given morphism.
|
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 |
Morphism.getMatch(Graph domain,
Graph codomain,
boolean injective,
Morphism base)
Returns a morphism from a given domain to a given codomain which is
an extension of a given base morphism.
|
static Morphism |
Morphism.getMatch(Graph domain,
Graph codomain,
Morphism base)
Returns a total morphism from a given domain to a given codomain which
is an extension of a given morphism.
|
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.
|
de.uni_due.inf.ti.util.Pair<Morphism,Morphism> |
Morphism.getSubMorphism(Morphism srcInc)
This method returns a pair of morphisms (
f ,g ) such that
srcInc ; this == f ; g . |
boolean |
Rule.isConflictFree(Morphism match)
Determines whether a match is conflict-free with respect to this rule.
|
boolean |
Morphism.isExtensionOf(Morphism m)
Determines whether this morphism is an extension of another morphism.
|
void |
NacRule.removeNac(Morphism nac)
Removes a negative application condition from this rule.
|
boolean |
Rule.satisfiesDanglingEdgeCondition(Morphism match)
Determines if a morphism satisfies the dangling edge condition
with respect to this rule.
|
void |
Transition.setMatch(Morphism match)
Sets the match of this transition.
|
Modifier and Type | Method and Description |
---|---|
static ExplicitTransitionSystem |
ExplicitTransitionSystem.createWithMorphisms(Graph initial,
java.util.Collection<Morphism> morphisms)
Creates a new ExplicitTransitionSystem by giving a collection of
transition morphisms.
|
Constructor and Description |
---|
Morphism(Morphism orig)
Creates a new Morphism which is a copy of another one.
|
NacRule(Morphism corr)
Creates a new NacRule.
|
NacRule(Morphism corr,
TransformationParams params)
Creates a new NacRule with a reference to an existing parameter set.
|
Rule(Morphism corr)
Constructs a new rule.
|
Rule(Morphism corr,
TransformationParams params)
Constructs a new rule with given transformation parameters.
|
Transition(Morphism morphism)
Creates a new transition.
|
Transition(Morphism morphism,
Morphism match,
Rule rule)
Creates a new transition which is labeled by a rule.
|
Transition(Morphism morphism,
java.lang.String customLabel)
Creates a new transition which is labeled by a custom label.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
SgfWriter.writeMorphism(Morphism morphism)
Writes a morphism to this SgfWriter's stream.
|
Modifier and Type | Method and Description |
---|---|
Morphism |
IsomorphismHashSet.addIsomorphic(Graph graph)
Makes sure that a graph isomorphic to a given graph is present in this
IsomorphismSet.
|
Morphism |
IsomorphismSet.addIsomorphic(Graph graph)
Makes sure that a graph isomorphic to a given graph is present in this
IsomorphismSet (optional operation).
|
Morphism |
IsomorphismHashSet.containsIsomorphic(Graph graph)
Determines whether this IsomorphismSet contains a graph which is
isomorphic to a given graph.
|
Morphism |
IsomorphismSet.containsIsomorphic(Graph graph)
Determines whether this IsomorphismSet contains a graph which is
isomorphic to a given graph.
|
Modifier and Type | Method and Description |
---|---|
de.uni_due.inf.ti.visigraph.VxGraph |
GraphVisualizer.visualizeFlatMorphism(Morphism morph)
Creates a VxGraph which visualizes a rule, where the rule is displayed
as a single graph with different style for deleted and created parts.
|
GraphVisualizer.RuleVisi |
GraphVisualizer.visualizeMorphism(Morphism morph)
Creates a VxGraph which visualizes a rule.
|