A C D E F G H I L M N R S T U V

A

AbstractGraphView() - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractGraphView

AbstractGraphView() - Constructor for class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractGraphView

AbstractIncrementalDFABuilder<I> - Class in net.automatalib.incremental.dfa

Abstract base class for IncrementalDFABuilders.

AbstractIncrementalDFABuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

Constructor.

AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E> - Class in net.automatalib.incremental.dfa

AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T> - Class in net.automatalib.incremental.dfa

AbstractIncrementalDFADAGBuilder<I> - Class in net.automatalib.incremental.dfa.dag

AbstractIncrementalDFADAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

AbstractIncrementalDFADAGBuilder.GraphView - Class in net.automatalib.incremental.dfa.dag

AbstractIncrementalDFADAGBuilder.TransitionSystemView - Class in net.automatalib.incremental.dfa.dag

AbstractIncrementalMealyBuilder<I,O> - Class in net.automatalib.incremental.mealy

AbstractIncrementalMealyBuilder() - Constructor for class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder

AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E> - Class in net.automatalib.incremental.mealy

AbstractIncrementalMealyTreeBuilder<N,I,O> - Class in net.automatalib.incremental.mealy.tree

AbstractIncrementalMealyTreeBuilder(N) - Constructor for class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

AbstractIncrementalMealyTreeBuilder.GraphView - Class in net.automatalib.incremental.mealy.tree

AbstractIncrementalMealyTreeBuilder.TransitionSystemView - Class in net.automatalib.incremental.mealy.tree

AbstractTransitionSystemView() - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView

Acceptance - Enum in net.automatalib.incremental.dfa

Tri-state acceptance value.

addAlphabetSymbol(I) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

addAlphabetSymbol(I) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

addAlphabetSymbol(I) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

addAlphabetSymbol(I) - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder

addAlphabetSymbol(I) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder

alphabetSize - Variable in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

AnnotatedEdge<N,I,O> - Class in net.automatalib.incremental.mealy.tree

AnnotatedEdge(Edge<N, O>, I) - Constructor for class net.automatalib.incremental.mealy.tree.AnnotatedEdge

asGraph() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

asGraph() - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder

asGraph() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

asGraph() - Method in interface net.automatalib.incremental.IncrementalConstruction

Retrieves a graph view of the current state of the construction.

asGraph() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

asGraph() - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder

asGraph() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

asTransitionSystem() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

asTransitionSystem() - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder

asTransitionSystem() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

asTransitionSystem() - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder

asTransitionSystem() - Method in interface net.automatalib.incremental.IncrementalConstruction

Retrieves a transition system view of the current state of the construction.

asTransitionSystem() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

asTransitionSystem() - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder

asTransitionSystem() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

automatonState - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record

AutomatonView() - Constructor for class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

C

clone(State, Acceptance) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

Clones a state, changing the signature.

clone(State, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

Clones a state, changing the signature.

clone(State, Acceptance, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

ConflictException - Exception in net.automatalib.incremental

Conflict exception.

ConflictException() - Constructor for exception net.automatalib.incremental.ConflictException

Default constructor.

ConflictException(String, Throwable) - Constructor for exception net.automatalib.incremental.ConflictException

Constructor.

ConflictException(String) - Constructor for exception net.automatalib.incremental.ConflictException

Constructor.

ConflictException(Throwable) - Constructor for exception net.automatalib.incremental.ConflictException

Constructor.

conflicts(boolean) - Method in enum net.automatalib.incremental.dfa.Acceptance

createNode() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

createNode() - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder

createNode() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder

D

decreaseIncoming() - Method in class net.automatalib.incremental.mealy.dag.State

doFindSeparatingWord(DFA<S, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

doFindSeparatingWord(DFA<S, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder

DynamicIncrementalMealyTreeBuilder<I,O> - Class in net.automatalib.incremental.mealy.tree.dynamic

A variation of the normal IncrementalMealyTreeBuilder, which stores the successor information of each tree-node in a dynamically allocated Map.

DynamicIncrementalMealyTreeBuilder() - Constructor for class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder

E

Edge<I> - Class in net.automatalib.incremental.dfa.tree

Edge(Node<I>, I) - Constructor for class net.automatalib.incremental.dfa.tree.Edge

Edge<N,O> - Class in net.automatalib.incremental.mealy.tree

Edge(O, N) - Constructor for class net.automatalib.incremental.mealy.tree.Edge

F

findSeparatingWord(DFA<?, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

findSeparatingWord(DFA<?, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

findSeparatingWord(A, Collection<? extends I>, boolean) - Method in interface net.automatalib.incremental.IncrementalConstruction

Checks the current state of the construction against a given target model, and returns a word exposing a difference if there is one.

findSeparatingWord(MealyMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

findSeparatingWord(MealyMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

fromBoolean(boolean) - Static method in enum net.automatalib.incremental.dfa.Acceptance

Retrieves the corresponding acceptance value (either Acceptance.TRUE or Acceptance.FALSE) for a given boolean value.

G

getAcceptance(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

getAcceptance(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView

getAcceptance(N) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder.GraphView

getAcceptance(S) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder.TransitionSystemView

getAcceptance() - Method in class net.automatalib.incremental.dfa.tree.Edge

getAcceptance(Node<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView

getAcceptance(Node<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView

getAcceptance() - Method in class net.automatalib.incremental.dfa.tree.Node

Retrieves the acceptance value of this node.

getChild(int) - Method in class net.automatalib.incremental.dfa.tree.Node

Retrieves, for a given index, the respective child of this node.

getEdge(N, I) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

getEdge() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge

getEdge(Node<I, O>, I) - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder

getEdge(Node<O>, I) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder

getInitialNode() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

getInitialNode() - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder.GraphView

getInitialNode() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView

getInitialNode() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

getInitialNode() - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView

getInitialNode() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView

getInitialState() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView

getInitialState() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView

getInitialState() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

getInitialState() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.TransitionSystemView

getInput() - Method in class net.automatalib.incremental.dfa.tree.Edge

getInput() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge

getInputAlphabet() - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

getInputAlphabet() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

getInputAlphabet() - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder

getInputSymbol(EdgeRecord) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

getInputSymbol(E) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder.GraphView

getInputSymbol(Edge<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView

getInputSymbol(TransitionRecord<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

getInputSymbol(E) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView

getInputSymbol(AnnotatedEdge<N, I, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView

getNode() - Method in class net.automatalib.incremental.dfa.tree.Edge

getNodes() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

getNodes() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView

getNodes() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

getNodes() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView

getNumIncoming() - Method in class net.automatalib.incremental.mealy.dag.State

getOutgoingEdges(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

getOutgoingEdges(Node<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView

getOutgoingEdges(State<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

getOutgoingEdges(N) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

getOutgoingEdges(N) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView

getOutgoingEdges(Node<I, O>) - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder

getOutgoingEdges(Node<O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder

getOutput(int) - Method in class net.automatalib.incremental.mealy.dag.State

getOutput() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge

getOutput() - Method in class net.automatalib.incremental.mealy.tree.Edge

getOutputSymbol(TransitionRecord<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

getOutputSymbol(E) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView

getOutputSymbol(AnnotatedEdge<N, I, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView

getSignature() - Method in class net.automatalib.incremental.mealy.dag.State

getSink() - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder

getState(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

getState(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder

Retrieves the state reached by a given word.

getState(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder

getStateProperty(S) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView

getSuccessor(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView

getSuccessor(Node<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView

getSuccessor(TransitionRecord<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

getSuccessor(int) - Method in class net.automatalib.incremental.mealy.dag.State

getSuccessor(Edge<N, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.TransitionSystemView

getTarget(EdgeRecord) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

getTarget(Edge<I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView

getTarget(TransitionRecord<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

getTarget(AnnotatedEdge<N, I, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView

getTarget() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge

getTarget() - Method in class net.automatalib.incremental.mealy.tree.Edge

getTransition(State, I) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView

getTransition(Node<I>, I) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView

getTransition(Node<I>, I) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder.TransitionSystemView

getTransition(State<O>, I) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

getTransition(N, I) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.TransitionSystemView

getTransitionOutput(TransitionRecord<O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

getTransitionOutput(Edge<N, O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.TransitionSystemView

getTransitionProperty(T) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractTransitionSystemView

getVisualizationHelper() - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractGraphView

getVisualizationHelper() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

getVisualizationHelper() - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView

getVisualizationHelper() - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractGraphView

getVisualizationHelper() - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

getVisualizationHelper() - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView

GraphView() - Constructor for class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

GraphView() - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.GraphView

GraphView() - Constructor for class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

GraphView() - Constructor for class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.GraphView

H

hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

hasDefinitiveInformation(Word<? extends I>) - Method in interface net.automatalib.incremental.IncrementalConstruction

Checks whether this class has definitive information about a given word.

hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder

hasDefinitiveInformation(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

hiddenClone(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

hide(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

I

incomingInput - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record

increaseIncoming() - Method in class net.automatalib.incremental.mealy.dag.State

IncrementalConstruction<A,I> - Interface in net.automatalib.incremental

Basic interface for incremental automata constructions.

IncrementalDFABuilder<I> - Interface in net.automatalib.incremental.dfa

General interface for incremental DFA builders.

IncrementalDFABuilder.GraphView<I,N,E> - Interface in net.automatalib.incremental.dfa

IncrementalDFABuilder.TransitionSystemView<S,I,T> - Interface in net.automatalib.incremental.dfa

IncrementalDFADAGBuilder<I> - Class in net.automatalib.incremental.dfa.dag

Incrementally builds an (acyclic) DFA, from a set of positive and negative words.

IncrementalDFADAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder

Constructor.

IncrementalDFATreeBuilder<I> - Class in net.automatalib.incremental.dfa.tree

Incrementally builds a tree, from a set of positive and negative words.

IncrementalDFATreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

IncrementalDFATreeBuilder.GraphView - Class in net.automatalib.incremental.dfa.tree

IncrementalDFATreeBuilder.Record<S,I> - Class in net.automatalib.incremental.dfa.tree

IncrementalDFATreeBuilder.TransitionSystemView - Class in net.automatalib.incremental.dfa.tree

IncrementalMealyBuilder<I,O> - Interface in net.automatalib.incremental.mealy

IncrementalMealyBuilder.GraphView<I,O,N,E> - Interface in net.automatalib.incremental.mealy

IncrementalMealyDAGBuilder<I,O> - Class in net.automatalib.incremental.mealy.dag

Incrementally builds an (acyclic) Mealy machine, from a set of input and corresponding output words.

IncrementalMealyDAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

Constructor.

IncrementalMealyDAGBuilder.AutomatonView - Class in net.automatalib.incremental.mealy.dag

IncrementalMealyDAGBuilder.GraphView - Class in net.automatalib.incremental.mealy.dag

IncrementalMealyTreeBuilder<I,O> - Class in net.automatalib.incremental.mealy.tree

IncrementalMealyTreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder

IncrementalPCDFADAGBuilder<I> - Class in net.automatalib.incremental.dfa.dag

The prefix-closed version of IncrementalDFADAGBuilder.

IncrementalPCDFADAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder

IncrementalPCDFATreeBuilder<I> - Class in net.automatalib.incremental.dfa.tree

The prefix-closed version of IncrementalDFATreeBuilder.

IncrementalPCDFATreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder

IncrementalPCDFATreeBuilder.TransitionSystemView - Class in net.automatalib.incremental.dfa.tree

init - Variable in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

inputAlphabet - Variable in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

inputIt - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record

insert(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

insert(Word<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder

Inserts a word into either the set of accepted or rejected words.

insert(Word<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder

insert(Word<? extends I>, boolean) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder

Inserts a new word into the automaton, with a given acceptance value.

insert(Word<? extends I>) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder

Inserts a new word into the automaton.

insert(Word<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

insert(Word<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder

insert(Word<? extends I>, Word<? extends O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

insert(Word<? extends I>, Word<? extends O>) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder

Incorporates a pair of input/output words into the stored information.

insert(Word<? extends I>, Word<? extends O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

insertNode(N, I, O) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

insertNode(Node<I, O>, I, O) - Method in class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder

insertNode(Node<O>, I, O) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder

isConfluence() - Method in class net.automatalib.incremental.mealy.dag.State

L

lookup(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder

Checks the ternary acceptance status for a given word.

lookup(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.dag.IncrementalPCDFADAGBuilder

lookup(Word<? extends I>) - Method in interface net.automatalib.incremental.dfa.IncrementalDFABuilder

Looks up the tri-state acceptance value for a given word.

lookup(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

lookup(Word<? extends I>) - Method in class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder

lookup(Word<? extends I>) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder

lookup(Word<? extends I>, List<? super O>) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder

lookup(Word<? extends I>) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder

lookup(Word<? extends I>, List<? super O>) - Method in interface net.automatalib.incremental.mealy.IncrementalMealyBuilder

Retrieves the output word for the given input word.

lookup(Word<? extends I>, List<? super O>) - Method in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

M

makeSink() - Method in class net.automatalib.incremental.dfa.tree.Node

N

net.automatalib.incremental - package net.automatalib.incremental

net.automatalib.incremental.dfa - package net.automatalib.incremental.dfa

net.automatalib.incremental.dfa.dag - package net.automatalib.incremental.dfa.dag

net.automatalib.incremental.dfa.tree - package net.automatalib.incremental.dfa.tree

net.automatalib.incremental.mealy - package net.automatalib.incremental.mealy

net.automatalib.incremental.mealy.dag - package net.automatalib.incremental.mealy.dag

net.automatalib.incremental.mealy.tree - package net.automatalib.incremental.mealy.tree

net.automatalib.incremental.mealy.tree.dynamic - package net.automatalib.incremental.mealy.tree.dynamic

Node<I> - Class in net.automatalib.incremental.dfa.tree

A node in the tree internally used by IncrementalDFATreeBuilder.

Node() - Constructor for class net.automatalib.incremental.dfa.tree.Node

Constructor.

Node(Acceptance) - Constructor for class net.automatalib.incremental.dfa.tree.Node

Constructor.

R

Record(S, Node<I>, I, Iterator<? extends I>) - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record

register - Variable in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

replaceOrRegister(State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

Returns the canonical state for the given state's signature, or registers the state as canonical if no state with that signature exists.

replaceOrRegister(StateSignature) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

Returns (and possibly creates) the canonical state for the given signature.

root - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

root - Variable in class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

S

setAcceptance(Acceptance) - Method in class net.automatalib.incremental.dfa.tree.Node

Sets the acceptance value for this node.

setChild(int, int, Node<I>) - Method in class net.automatalib.incremental.dfa.tree.Node

Sets the child for a given index.

sink - Variable in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

size() - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

source - Variable in class net.automatalib.incremental.mealy.dag.TransitionRecord

State<O> - Class in net.automatalib.incremental.mealy.dag

State(StateSignature<O>) - Constructor for class net.automatalib.incremental.mealy.dag.State

T

toBoolean() - Method in enum net.automatalib.incremental.dfa.Acceptance

transIdx - Variable in class net.automatalib.incremental.mealy.dag.TransitionRecord

TransitionRecord<O> - Class in net.automatalib.incremental.mealy.dag

TransitionRecord(State<O>, int) - Constructor for class net.automatalib.incremental.mealy.dag.TransitionRecord

TransitionSystemView() - Constructor for class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.TransitionSystemView

TransitionSystemView() - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.TransitionSystemView

TransitionSystemView() - Constructor for class net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder.TransitionSystemView

TransitionSystemView() - Constructor for class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder.TransitionSystemView

treeNode - Variable in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record

U

unhide(State, Acceptance, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

unhide(State, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

updateInitSignature(Acceptance) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

updateInitSignature(int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

updateInitSignature(Acceptance, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

updateSignature(State, Acceptance) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

Updates the signature for a given state.

updateSignature(State, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

Updates the signature for a given state.

updateSignature(State, Acceptance, int, State) - Method in class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

V

valueOf(String) - Static method in enum net.automatalib.incremental.dfa.Acceptance

Returns the enum constant of this type with the specified name.

values() - Static method in enum net.automatalib.incremental.dfa.Acceptance

Returns an array containing the constants of this enum type, in the order they are declared.

A C D E F G H I L M N R S T U V