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.
|
Constructor and Description |
---|
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 . |
Modifier and Type | Method and Description |
---|---|
static Operation.Connect |
Operation.getConnect(String label,
int arity)
Returns the CONNECT operation for the specified edge.
|
Modifier and Type | Method and Description |
---|---|
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 . |