de.uni_due.inf.ti.raven.data.automata
Classes
Automaton
AutomatonFactory
ColorabilityAutomaton
DominatingSetAutomaton
EdgeCountingAutomaton
LinkAutomaton
MaximumEdgeAutomaton
MaximumVertexAutomaton
MinimumEdgeAutomaton
MinimumVertexAutomaton
NoIsolatedNodesAutomaton
PathAutomaton
ProductAutomaton
SubgraphAutomaton
UnionAutomaton
VertexCountingAutomaton
VertexCoverAutomaton
Enums
Automaton.Type