All Classes

Class	Description
AbstractIncrementalDFABuilder<I>	Abstract base class for IncrementalDFABuilders.
AbstractVisualizationHelper<S,I,T,A extends Automaton<S,I,T>>	Abstract visualization helper for IncrementalDFABuilders.
Acceptance	Tri-state acceptance value.
AdaptiveMealyBuilder<I,O>	A variation of the IncrementalMealyBuilder interface that allows one to override previously inserted traces.
AdaptiveMealyTreeBuilder<I,O>
ConflictException	Conflict exception.
DynamicIncrementalMealyTreeBuilder<I,O>	A variation of the normal IncrementalMealyTreeBuilder which stores the successor information of each tree-node in a dynamically allocated Map.
IncrementalConstruction<A,I>	Basic interface for incremental automata constructions.
IncrementalDFABuilder<I>	General interface for incremental DFA builders.
IncrementalDFADAGBuilder<I>	Incrementally builds an (acyclic) DFA, from a set of positive and negative words.
IncrementalDFATreeBuilder<I>	Incrementally builds a tree, from a set of positive and negative words.
IncrementalMealyBuilder<I,O>	General interface for incremental Mealy builders.
IncrementalMealyDAGBuilder<I,O>	Incrementally builds an (acyclic) Mealy machine, from a set of input and corresponding output words.
IncrementalMealyTreeBuilder<I,O>	Incrementally builds a tree with transition outputs from a set of input and corresponding output words.
IncrementalMooreBuilder<I,O>	General interface for incremental Moore builders.
IncrementalMooreDAGBuilder<I,O>	Incrementally builds an (acyclic) Moore machine from a set of input and corresponding output words.
IncrementalMooreTreeBuilder<I,O>	Incrementally builds a (tree-based) Moore machine from a set of input and corresponding output words.
IncrementalPCDFADAGBuilder<I>	The prefix-closed version of IncrementalDFADAGBuilder.
IncrementalPCDFATreeBuilder<I>	The prefix-closed version of IncrementalDFATreeBuilder.
MealyBuilder<I,O>	A utility interface to share functionality between IncrementalMealyBuilders and AdaptiveMealyBuilders.
VisualizationHelper<S,I,T,O>	A utility class for rendering IncrementalMealyBuilders.