Package | Description |
---|---|
de.uni_due.inf.ti.graph | |
de.uni_due.inf.ti.graph.random |
This package contains classes which generate random graphs, rules and
other graph-related objects.
|
Modifier and Type | Method and Description |
---|---|
Label |
Edge.getLabel()
Returns the label of this edge.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Label> |
Graph.getSignature()
Returns the signature of this graph.
|
java.util.Set<Label> |
TransformationSystem.getSignature()
Returns the signature of this TransformationSystem.
|
java.util.Set<Label> |
Rule.getSignature()
Returns the signature of this rule.
|
java.util.Set<Label> |
ExplicitTransitionSystem.getSignature()
Returns the signature of this transition system.
|
Modifier and Type | Method and Description |
---|---|
Edge |
Graph.addEdge(Label label,
java.util.List<Node> nodes)
Adds a new edge to this graph.
|
Edge |
Graph.addEdge(Label label,
Node... nodes)
Adds a new edge to this graph.
|
static Graph |
GraphFactory.createCompleteGraph(int numOfNodes,
Label label)
Creates a new complete graph.
|
static Graph |
GraphFactory.createCompleteGraph(int numOfNodes,
Label label,
boolean loops)
Creates a new complete graph.
|
static InterfaceGraph |
GraphFactory.createConnect(int ifsize,
Label label)
Creates a new interface graph which corresponds to the "connect"
atomic operation.
|
static InterfaceGraph |
GraphFactory.createConnect(int ifsize,
Label label,
java.util.List<java.lang.Integer> attach)
Creates a new interface graph which corresponds to the "connect"
atomic operation.
|
static Graph |
GraphFactory.createCycleGraph(int numOfNodes,
Label label)
Creates a new cycle graph.
|
static Graph |
GraphFactory.createPathGraph(int numOfNodes,
Label label)
Creates a new path graph.
|
Modifier and Type | Method and Description |
---|---|
static Graph |
GraphFactory.createFlowerGraph(java.util.Collection<Label> signature)
Creates a flower graph of a given signature.
|
static Graph |
GraphFactory.createRandomGraphWithPathWidth(int numOfNodes,
double density,
int pathWidth,
java.util.Set<Label> sig)
Creates a new random graph of which the path width will not exceed
a given bound.
|
Constructor and Description |
---|
Label(Label orig)
Creates a new Label which is a copy of another one.
|
Modifier and Type | Method and Description |
---|---|
de.uni_due.inf.ti.random.DiscreteDistribution<Label> |
RandomGraphGenerator.getLabelDistribution()
Returns the label distribution of this RandomGraphGenerator.
|
java.util.Set<Label> |
RandomGraphGenerator.getSignature()
Returns the signature of this RandomGraphGenerator.
|
java.util.Set<Label> |
RandomRuleGenerator.getSignature()
Returns the signature of rules generated by this RandomRuleGenerator.
|
Modifier and Type | Method and Description |
---|---|
void |
RandomGraphGenerator.setLabelDistribution(de.uni_due.inf.ti.random.DiscreteDistribution<Label> labels)
Sets the label distribution of this RandomGraphGenerator.
|
void |
RandomGraphGenerator.setSignature(java.util.Collection<Label> signature)
Sets the signature of this RandomGraphGenerator.
|
void |
RandomRuleGenerator.setSignature(java.util.Collection<Label> signature)
Sets the signature of the rules generated by this
RandomRuleGenerator.
|
Constructor and Description |
---|
RandomGraphGenerator(de.uni_due.inf.ti.random.Distribution<java.lang.Integer> nodeCountDistribution,
de.uni_due.inf.ti.random.Distribution<java.lang.Double> densityDistribution,
de.uni_due.inf.ti.random.DiscreteDistribution<Label> labelDistribution)
Creates a new RandomGraphGenerator with user-specified distributions for
the number of nodes and the density.
|
RandomGraphGenerator(de.uni_due.inf.ti.random.Distribution<java.lang.Integer> nodeCountDistribution,
de.uni_due.inf.ti.random.Distribution<java.lang.Double> densityDistribution,
de.uni_due.inf.ti.random.DiscreteDistribution<Label> labelDistribution,
RandomGraphGenerator.Connectedness connectedness)
Creates a new RandomGraphGenerator with user-specified distributions for
the number of nodes and the density and a user-specified connectedness
setting.
|
RandomGraphGenerator(int numOfNodes,
double density,
java.util.Collection<Label> signature)
Creates a new RandomGraphGenerator which generates graph with a
user-specified number of nodes and density.
|
RandomGraphGenerator(int numOfNodes,
double density,
java.util.Collection<Label> signature,
RandomGraphGenerator.Connectedness connectedness)
Creates a new RandomGraphGenerator which generates graph with a
user-specified number of nodes and density.
|