Package | Description |
---|---|
de.uni_due.inf.ti.raven.data |
Classes to create, represent, manipulate data.
|
de.uni_due.inf.ti.raven.data.automata |
Classes to create, represent, manipulate automata.
|
de.uni_due.inf.ti.raven.encodings |
Classes to encode the state space and the transitions of the various graph automata.
|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
Modifier and Type | Method and Description |
---|---|
Edge |
Cospan.getEdge(String edgeName)
Returns the edge with the name
edgeName or null if no
edge with the given name is existing. |
Edge |
Graph.getEdge(String edgeName)
Returns the edge with the name
edgeName or null if no
edge with the given name is existing. |
Modifier and Type | Method and Description |
---|---|
Set<Edge> |
Cospan.getEdges()
Returns the set of edges of this cospan.
|
Set<Edge> |
Graph.getEdges()
Returns the set of edges of this graph.
|
Set<Edge> |
Graph.getIncidentEdges(Node node)
Returns the set of edges incident to the node
node |
Set<Edge> |
Graph.getIncidentEdges(String nodeName)
Returns the set of edges incident to the node
nodeName |
Modifier and Type | Method and Description |
---|---|
int |
Edge.compareTo(Edge edge) |
boolean |
Graph.contains(Edge edge)
Returns
true if and only if this graph contains the edge edge . |
void |
Graph.removeEdge(Edge edge)
Removes the edge
edge from this graph. |
Modifier and Type | Method and Description |
---|---|
List<Edge> |
SubgraphAutomaton.getEdgeOrder()
Returns the edge-order which is used for this automaton.
|
Modifier and Type | Method and Description |
---|---|
List<Edge> |
SubgraphEncoding.getEdgeOrder()
Returns the edge order of this encoding.
|
Modifier and Type | Method and Description |
---|---|
static SubgraphEncoding |
SubgraphEncoding.getDefaultEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
Graph subgraph,
List<Node> nodeOrder,
List<Edge> edgeOrder)
Returns the default BDD encoding for a subgraph instance with a
maximum interface size of
maximumInterface and a wanted
subgraph subgraph . |
static SubgraphEncoding |
SubgraphEncoding.getEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
Graph subgraph,
List<Node> nodeOrder,
List<Edge> edgeOrder,
String encodingName)
Returns the BDD encoding for a subgraph instance given by the class name
name with a maximum interface size of maximumInterface and
a wanted subgraph subgraph If no subgraph encoding with the given
name can be found the default encoding is returned. |
Modifier and Type | Method and Description |
---|---|
static Edge |
RemoveEdgeDialog.showDialog(Window owner,
Graph graph)
Brings up a new dialog on which the user can enter the name and the label
and select the incident nodes of the new edge.
|