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.encodings |
Classes to encode the state space and the transitions of the various graph automata.
|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
Constructor and Description |
---|
SignatureAction(String name,
Set<Operation> operationSet)
Creates a new
Action to define a new signature with the name name and all
Operation objects contained in the set operationSet . |
Modifier and Type | Class and Description |
---|---|
static class |
Operation.Connect
This class implements the CONNECT-Operation which is used to attach a new edge to the
last nodes in the interface of some graph (cospan).
|
static class |
Operation.Fuse
This class implements the FUSE-Operation which is used to fuse the last two nodes in the
interface of some graph (cospan).
|
static class |
Operation.Perm
This class implements the PERM-Operation which is used to cyclic shift the nodes in the
interface of some graph (cospan).
|
static class |
Operation.Res
This class implements the RES-Operation which is used to restrict the last node in the
interface of some graph (cospan).
|
static class |
Operation.Trans
This class implements the TRANS-Operation which is used to transpose the first two nodes in the
interface of some graph (cospan).
|
static class |
Operation.Vertex
This class implements the VERTEX-Operation which is used to add a new node at the last
position of the interface of some graph (cospan).
|
Modifier and Type | Method and Description |
---|---|
Operation |
CospanDecomposition.get(int index)
Returns the
index -th operation of the cospan decomposition. |
static Operation |
Operation.parse(String text)
Parses an operation from a text string.
|
Modifier and Type | Method and Description |
---|---|
List<Operation> |
CospanDecomposition.getOperations()
Returns the list of operations used for this cospan decomposition
|
Set<Operation> |
Signature.getOperations()
Returns the set of letters of this signature
|
Iterator<Operation> |
CospanDecomposition.iterator() |
Iterator<Operation> |
Signature.iterator() |
Modifier and Type | Method and Description |
---|---|
void |
CospanDecomposition.add(Operation operation)
Appends an operation at the end of this cospan decomposition.
|
void |
Signature.add(Operation letter)
Adds a new letter to this signature
|
int |
Operation.Comparator.compare(Operation o1,
Operation o2) |
boolean |
Signature.contains(Operation letter)
Returns
true if and only if letter letter is
contained in this signature. |
boolean |
CospanDecomposition.isApplicable(Operation operation)
Returns
true if and only if the operation operation can be added
to this cospan decomposition. |
Modifier and Type | Method and Description |
---|---|
void |
CospanDecomposition.addAll(List<Operation> list)
Appends all letters of the list
list at the end of this cospan decomposition. |
Constructor and Description |
---|
CospanDecomposition(int width,
List<Operation> operationList)
Creates a cospan decomposition from the list
operationList of operations with a left
interface of width width . |
CospanDecomposition(List<Operation> operationList)
Creates a cospan decomposition from the list
operationList of operations with an empty
left interface. |
Modifier and Type | Method and Description |
---|---|
Map<Operation,RavenBDD> |
Automaton.getStateTransBDDs()
Returns the Transition BDD Map For saving purposes only
|
Modifier and Type | Method and Description |
---|---|
RavenBDD |
Automaton.getPredecessorStates(RavenBDD currentStates,
Operation letter)
Returns the set of predecessor states for a given set of current states
and and a given input letter (i.e. a graph operation).
|
RavenBDD |
Automaton.getStatesWithoutSuccessorFor(Operation letter)
Returns the set of states which have no successor state for the given
letter |
RavenBDD |
Automaton.getSuccessorStates(RavenBDD currentStates,
Operation letter)
Returns the set of successor states for a given set of current states and
and a given input letter (i.e. a graph operation).
|
RavenBDD |
Automaton.getTransitionRelation(Operation letter)
Returns the transition relation for the given letter
|
boolean |
Automaton.isApplicable(Operation letter,
RavenBDD states)
Returns
true if the letter letter is applicable to the
states states , i.e. there exists at least one successor state
according to the transition relation for the letter letter . |
Modifier and Type | Method and Description |
---|---|
RavenBDD |
ProductEncoding.convertTransitions(Automaton automaton,
Operation letter)
Converts the transitions of the given automaton and the given letter to the
UnionEncoding . |
RavenBDD |
UnionEncoding.convertTransitions(Automaton automaton,
Operation letter)
Converts the transitions of the given automaton and the given letter to the
UnionEncoding . |
Modifier and Type | Method and Description |
---|---|
static void |
BDDDialog.showDialog(Window owner,
Automaton automaton,
Operation letter)
Shows the dialog for displaying BDDs which encode transitions of the automaton
automaton for the letter letter . |