Package | Description |
---|---|
de.uni_due.inf.ti.graph | |
de.uni_due.inf.ti.graph.io | |
de.uni_due.inf.ti.graph.random |
This package contains classes which generate random graphs, rules and
other graph-related objects.
|
Modifier and Type | Class and Description |
---|---|
class |
NacRule
This class represents rules with negative application conditions.
|
Modifier and Type | Method and Description |
---|---|
Rule |
TransformationSystem.addRule(Morphism corr)
Creates a new rule based on the given correspondence morphism and adds
it to this transformation system.
|
Rule |
Rule.clone() |
Rule |
Transition.getRule()
Returns the rule of this transition.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Rule> |
TransformationSystem.getRules()
Returns the set of rules of this transformation system.
|
Modifier and Type | Method and Description |
---|---|
void |
TransformationSystem.addRule(Rule rule)
Adds an existing rule to this transformation system.
|
static TransformationSystem |
TransformationSystem.create(Graph initial,
Rule... rules)
Creates a new transformation system.
|
de.uni_due.inf.ti.util.Pair<Morphism,Morphism> |
Rule.getRuleIsomorphism(Rule other)
Returns a rule isomorphism between this rule and another given rule.
|
boolean |
NacRule.isIsomorphic(Rule other)
Checks whether this NacRule is isomorphic to another Rule.
|
boolean |
Rule.isIsomorphic(Rule other)
Determines whether this rule is isomorphic to another rule.
|
void |
Transition.setRule(Rule rule)
Sets the rule of this transition.
|
Modifier and Type | Method and Description |
---|---|
static TransformationSystem |
TransformationSystem.create(Graph initial,
java.util.Collection<Rule> rules)
Creates a new transformation system.
|
Constructor and Description |
---|
Transition(Morphism morphism,
Morphism match,
Rule rule)
Creates a new transition which is labeled by a rule.
|
Modifier and Type | Method and Description |
---|---|
void |
GraphExporter.exportRule(Rule rule,
java.io.File file)
Exports a rule.
|
protected abstract void |
GraphExporter.exportRuleToStream(Rule graph,
java.io.OutputStream binOut)
Writes a visual representation of a rule to a binary stream.
|
protected void |
PngExporter.exportRuleToStream(Rule rule,
java.io.OutputStream binOut)
Writes a visual representation of a rule to a binary stream.
|
protected void |
DotExporter.exportRuleToStream(Rule rule,
java.io.OutputStream binOut)
Writes a visual representation of a rule to a binary stream.
|
void |
DotExporter.printDot(Rule rule,
java.io.PrintWriter out)
Prints a DOT representation of a rule to a PrintWriter with custom
styles.
|
Modifier and Type | Method and Description |
---|---|
Rule |
RandomRuleGenerator.nextRule()
Generates a random rule.
|