Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
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.
|
de.uni_due.inf.ti.raven.gui.graphs |
GUI Classes to visualize graphs.
|
de.uni_due.inf.ti.raven.io |
Classes to load, save and print data.
|
Modifier and Type | Method and Description |
---|---|
Graph |
CreateRandomGraphAction.getResult() |
Constructor and Description |
---|
LibTWAllStartLexBFSAction(Graph graph)
Creates a new
Action to start the All Start Lex BFS algorithm decomposing the graph
graph . |
LibTWGreedyDegreeAction(Graph graph)
Creates a new
Action to start the Greedy Degree algorithm decomposing the graph
graph . |
LibTWGreedyFillInAction(Graph graph)
Creates a new
Action to start the Greedy Fill-In algorithm decomposing the graph
graph . |
LibTWLexBFSAction(Graph graph)
Creates a new
Action to start the Lex BFS algorithm decomposing the graph graph . |
PrintAction(GraphPrinter printer,
Graph graph)
Creates an action which prints a graph to a given printer.
|
PrintDotAction(DotPrinter printer,
Graph graph)
Creates an action which prints a graph to a given printer.
|
SaveAction(SaveAction.GraphPersistenceType type,
Graph graph,
String filename)
Creates a new save action which saves the graph
graph as a gxl file named by
filename . |
SubgraphAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
Graph subgraph)
Creates a new
Action to create a new subgraph automaton with maximum interface size
maximumInterface over the signature signature and the wanted subgraph
subgraph using the default subgraph encoding. |
SubgraphAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
Graph subgraph,
String encodingName)
Creates a new
Action to create a new subgraph automaton with maximum interface size
maximumInterface over the signature signature and the wanted subgraph
subgraph using the subgraph encoding named by encodingName . |
Modifier and Type | Method and Description |
---|---|
static Graph |
LibTWNGraphToGraphAlgorithm.convert(String graphName,
nl.uu.cs.treewidth.ngraph.NGraph<nl.uu.cs.treewidth.input.GraphInput.InputData> nGraph)
Converts a LibTW graph (nGraph) into a (Raven) graph.
|
Modifier and Type | Method and Description |
---|---|
GraphDecomposition |
LibTWAlgorithm.decompose(Graph graph) |
GraphDecomposition |
GraphDecompositionAlgorithm.decompose(Graph graph)
Returns a graph decomposition of the graph
graph . |
Modifier and Type | Method and Description |
---|---|
Graph |
Graph.clone() |
Graph |
Node.getGraph()
Returns the graph to which this node belongs.
|
Graph |
Cospan.getGraph()
Returns the graph which can be obtained from this cospan decomposition.
|
Graph |
PathDecomposition.getGraph() |
Graph |
TreeDecomposition.getGraph() |
Graph |
GraphDecomposition.getGraph()
Returns the graph which can be obtained from this graph decomposition.
|
Graph |
Permutation.getGraph()
Returns the graph of this permutation.
|
Graph |
CospanDecomposition.getGraph()
Returns the graph which can be obtained from this cospan decomposition.
|
Constructor and Description |
---|
Cospan(Graph graph,
List<Node> innerInterface,
List<Node> outerInterface)
Creates a new cospan consisting of the middle graph
graph and the
two interfaces innerInterface and outerInterface . |
Permutation(Graph graph)
Creates a new permutation of the nodes of the graph
graph . |
Modifier and Type | Method and Description |
---|---|
Graph |
SubgraphAutomaton.getSubgraph()
Returns the graph which is used as a subgraph for this automaton.
|
Modifier and Type | Method and Description |
---|---|
Graph |
SubgraphEncoding.getSubgraph()
Returns the wanted subgraph.
|
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 InformationPanel<Graph> |
GraphInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given graph.
|
Modifier and Type | Method and Description |
---|---|
void |
GraphWindow.print(Graph graph) |
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.
|
static NewEdgeDialog.EdgeData |
NewEdgeDialog.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.
|
static NewEdgeDialog.EdgeData |
NewEdgeDialog.showDialog(Window owner,
Graph graph,
List<Node> presetNodes)
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.
|
void |
GraphWindow.showTwoGraphs(Graph left,
Graph right,
String title)
Shows the two graphs
left and right in split view side-by-side. |
Modifier and Type | Method and Description |
---|---|
static VisualGraph |
VisualGraph.getVisualGraph(Graph graph)
Converts a Raven graph to its graph visualization.
|
void |
GraphView.print(Graph graph) |
Modifier and Type | Method and Description |
---|---|
static Graph |
GXLReader.readGraph(String filename)
Reads a graph from a GXL file and returns it.
|
Modifier and Type | Method and Description |
---|---|
void |
TextAreaPrinter.print(Graph graph) |
void |
GraphPrinter.print(Graph graph)
Prints a graph to this printer.
|
void |
DotPrinter.print(Graph graph) |
void |
ConsolePrinter.print(Graph graph) |
void |
SVGWriter.write(Graph graph,
String filename) |
void |
GXLWriter.write(Graph graph,
String filename) |
void |
GraphWriter.write(Graph graph,
String filename)
Writes a graph to the file specified by
filename . |