Modifier and Type | Class and Description |
---|---|
class |
AbstractCompactSimpleDet<I,SP> |
class |
UniversalCompactSimpleDet<I,SP> |
Modifier and Type | Class and Description |
---|---|
class |
CompactDFA<I> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractBricsAutomaton
Base class for Brics automata adapters.
|
class |
BricsDFA
Adapter class for wrapping a Brics automaton as a
DFA . |
class |
BricsNFA
Adapter class for wrapping a Brics automaton as an
NFA . |
Modifier and Type | Class and Description |
---|---|
class |
AbstractIncrementalDFABuilder<I> |
class |
IncrementalDFABuilder<I>
Incrementally builds an (acyclic) DFA, from a set of positive and negative words.
|
class |
IncrementalPCDFABuilder<I> |
Modifier and Type | Class and Description |
---|---|
class |
IncrementalMealyBuilder<I,O>
Incrementally builds an (acyclic) Mealy machine, from a set of input and corresponding
output words.
|
Modifier and Type | Method and Description |
---|---|
static <N,E> void |
GraphDOT.write(DOTPlottableGraph<N,E> graph,
Appendable a,
GraphDOTHelper<N,? super E>... additionalHelpers)
Renders a
DOTPlottableGraph in the GraphVIZ DOT format. |
Copyright © 2015. All Rights Reserved.