Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
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.gui |
GUI Classes.
|
de.uni_due.inf.ti.raven.io |
Classes to load, save and print data.
|
Constructor and Description |
---|
ColorabilityAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int colors)
Creates a new
Action to create a new colorability automaton with maximum interface size
maximumInterface over the signature signature and with colors colors
using the default colorability encoding. |
ColorabilityAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int colors,
String encodingName)
Creates a new
Action to create a new colorability automaton with maximum interface size
maximumInterface over the signature signature and with colors colors using
the colorability encoding named by encodingName . |
DominatingSetAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int dominatingSize)
Creates a new
Action to create a new dominating set automaton with maximum interface
size maximumInterface over the signature signature and with a maximum
dominating set size dominatingSize using the default dominating set encoding. |
DominatingSetAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int dominatingSize,
String encodingName)
Creates a new
Action to create a new dominating set automaton with maximum interface
size maximumInterface over the signature signature and with a maximum
dominating set size dominatingSize using the dominating set encoding named by
encodingName . |
EdgeCountingAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int divisor,
int remainder,
Set<Operation.Connect> edgeSet)
Creates a new
Action to create a new edge-counting automaton with maximum interface
size maximumInterface over the signature signature , which accepts all
graphs whose number of edges (which are specified by edgeSet ) is equal to
remainder modulo divisor using the default edge counting encoding. |
EdgeCountingAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int divisor,
int remainder,
Set<Operation.Connect> edgeSet,
String encodingName)
Creates a new
Action to create a new edge-counting automaton with maximum interface
size maximumInterface over the signature signature , which accepts all
graphs whose number of edges (which are specified by edgeSet ) is equal to
remainder modulo divisor using the edge-counting encoding named by
encodingName . |
LinkAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature)
Creates a new
Action to create a new link automaton with maximum interface
size maximumInterface over the signature signature , which accepts all
graphs that have at least one edge from a node from the inner to a node from the outer interface
using the default link encoding. |
LinkAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
String encodingName)
Creates a new
Action to create a new link automaton with maximum interface
size maximumInterface over the signature signature , which accepts all
graphs that have at least one edge from a node from the inner to a node from the outer interface
using the link encoding named by encodingName . |
MaximumEdgeAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int maximum)
Creates a new
Action to create a new maximum-edge automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a maximum of maximum edges using the default maximum-vertex
encoding. |
MaximumEdgeAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int maximum,
String encodingName)
Creates a new
Action to create a new maximum-edge automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a maximum of maximum vertices
using the default maximum-edge encoding. |
MaximumVertexAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int maximum)
Creates a new
Action to create a new maximum-vertex automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a maximum of maximum vertices using the default maximum-vertex
encoding. |
MaximumVertexAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int maximum,
String encodingName)
Creates a new
Action to create a new maximum-vertex automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a maximum of maximum vertices
using the default maximum-vertex encoding. |
MinimumEdgeAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum)
Creates a new
Action to create a new minimum-vertex automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a minimum of minimum vertices using the default minimum-vertex
encoding. |
MinimumEdgeAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum,
String encodingName)
Creates a new
Action to create a new minimum-edge automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a minimum of minimum vertices
using the default minimum-edge encoding. |
MinimumVertexAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum)
Creates a new
Action to create a new minimum-vertex automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a minimum of minimum vertices using the default minimum-vertex
encoding. |
MinimumVertexAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum,
String encodingName)
Creates a new
Action to create a new minimum-vertex automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a minimum of minimum vertices
using the default minimum-vertex encoding. |
NoIsolatedNodesAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature)
Creates a new
Action to create a new no-isolated-nodes automaton with maximum
interface size maximumInterface over the signature signature using the
default no-isolated-nodes encoding. |
NoIsolatedNodesAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
String encodingName)
Creates a new
Action to create a new no-isolated-nodes automaton with maximum
interface size maximumInterface over the signature signature using
the no-isolated-nodes encoding named by encodingName . |
PathAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
Set<Integer> sourceNodes,
Set<Integer> targetNodes)
Creates a new
Action to create a new path automaton with maximum interface size
maximumInterface over the signature signature and with sourceNodes
and targetNodes source and target nodes using the default path encoding. |
PathAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
Set<Integer> sourceNodes,
Set<Integer> targetNodes,
String encodingName)
Creates a new
Action to create a new colorability automaton with maximum interface size
maximumInterface over the signature signature and with colors colors using
the colorability encoding named by encodingName . |
PrintAction(SignaturePrinter printer,
Signature signature)
Creates an action which prints a signature to a given printer.
|
SaveAction(Signature signature,
String filename)
Creates a new save action which saves the signature
signature to the 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 . |
VertexCountingAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int divisor,
int remainder)
Creates a new
Action to create a new vertex-counting automaton with maximum
interface size maximumInterface over the signature signature , which accepts
all graphs whose number of vertices is equal to remainder modulo divisor
using the default dominating set encoding. |
VertexCountingAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int divisor,
int remainder,
String encodingName)
Creates a new
Action to create a new vertex-counting automaton with maximum
interface size maximumInterface over the signature signature , which accepts
all graphs whose number of vertices is equal to remainder modulo divisor
using the edge-counting encoding named by
encodingName . |
VertexCoverAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int coverSize)
Creates a new
Action to create a new vertex cover automaton with maximum interface size
maximumInterface over the signature signature and with a maximum vertex cover
size coverSize colors using the default vertex cover encoding. |
VertexCoverAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int coverSize,
String encodingName)
Creates a new
Action to create a new vertex cover automaton with maximum interface size
maximumInterface over the signature signature and with a maximum vertex cover
size coverSize colors using the vertex cover encoding named by encodingName . |
Modifier and Type | Method and Description |
---|---|
Signature |
CospanDecomposition.getSignature()
Returns the underlying signature of this cospan decomposition
|
Modifier and Type | Method and Description |
---|---|
boolean |
Signature.contains(Signature signature)
Returns
true if and only if the signature signature is
contained in this signature, i.e. every letter of the signature signature
is also an letter of this signature. |
Constructor and Description |
---|
Signature(Signature signature)
Creates a new signature by copying all letters of the signature
signature . |
Modifier and Type | Method and Description |
---|---|
Signature |
Automaton.getAlphabet()
Returns the alphabet of this automaton.
|
Modifier and Type | Method and Description |
---|---|
ColorabilityAutomaton |
AutomatonFactory.createColorabilityAutomaton(ColorabilityEncoding encoding,
Signature signature)
Creates a new colorability automaton.
|
DominatingSetAutomaton |
AutomatonFactory.createDominatingSetAutomaton(DominatingSetEncoding encoding,
Signature signature)
Creates a new dominating set automaton.
|
EdgeCountingAutomaton |
AutomatonFactory.createEdgeCountingAutomaton(EdgeCountingEncoding encoding,
Signature signature,
int remainder,
Set<Operation.Connect> edgeSet)
Creates a new edge-counting automaton counting only those edges which
are contained in the set
edgeSet . |
LinkAutomaton |
AutomatonFactory.createLinkAutomaton(LinkEncoding encoding,
Signature signature)
Creates a new link automaton.
|
MaximumEdgeAutomaton |
AutomatonFactory.createMaximumEdgeAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new maximum-edge automaton.
|
MaximumVertexAutomaton |
AutomatonFactory.createMaximumVertexAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new maximum-vertex automaton.
|
MinimumEdgeAutomaton |
AutomatonFactory.createMinimumEdgeAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new minimum-edge automaton.
|
MinimumVertexAutomaton |
AutomatonFactory.createMinimumVertexAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new minimum-vertex automaton.
|
NoIsolatedNodesAutomaton |
AutomatonFactory.createNoIsolatedNodesAutomaton(NoIsolatedNodesEncoding encoding,
Signature signature)
Creates a new isolated nodes automaton.
|
PathAutomaton |
AutomatonFactory.createPathAutomaton(PathEncoding encoding,
Signature signature,
Set<Integer> sourceNodes,
Set<Integer> targetNodes)
Creates a new path automaton.
|
SubgraphAutomaton |
AutomatonFactory.createSubgraphAutomaton(SubgraphEncoding encoding,
Signature signature)
Creates a new subgraph automaton.
|
VertexCountingAutomaton |
AutomatonFactory.createVertexCountingAutomaton(VertexCountingEncoding encoding,
Signature signature,
int remainder)
Creates a new vertex-counting automaton.
|
VertexCoverAutomaton |
AutomatonFactory.createVertexCoverAutomaton(VertexCoverEncoding encoding,
Signature signature)
Creates a new vertex cover automaton.
|
Modifier and Type | Method and Description |
---|---|
static InformationPanel<Signature> |
SignatureInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given signature.
|
Modifier and Type | Method and Description |
---|---|
Signature |
SignatureReader.read()
Reads the signature from the source.
|
static Signature |
SignatureFileReader.read(String filename)
Reads a signature from the file given by the filename
filename . |
Modifier and Type | Method and Description |
---|---|
void |
TextAreaPrinter.print(Signature signature) |
void |
SignaturePrinter.print(Signature signature)
Prints a signature to this printer.
|
void |
SignatureFilePrinter.print(Signature signature) |
void |
ConsolePrinter.print(Signature signature) |
static void |
SignatureFilePrinter.writeSignature(String filename,
Signature signature)
Reads a signature from a file and returns it.
|