Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.data.automata |
Classes to create, represent, manipulate automata.
|
de.uni_due.inf.ti.raven.gui.automaton |
Classes which provide (visual) forms either used to collect information required to create the
several graph automata or used to present information about existing graph automata.
|
Modifier and Type | Method and Description |
---|---|
EdgeCountingAutomaton |
EdgeCountingAutomatonAction.getResult() |
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 . |
Modifier and Type | Method and Description |
---|---|
static InformationPanel<EdgeCountingAutomaton> |
EdgeCountingAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given edge counting automaton.
|