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

A

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.AbstractGraphView() - Constructor for class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractGraphView

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

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

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.GraphView() - Constructor for class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder.GraphView

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

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

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

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

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

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

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

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

Acceptance - Enum in net.automatalib.incremental.dfa

Tri-state acceptance value.

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

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

AnnotatedEdge(Edge<I, 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.IncrementalMealyTreeBuilder

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.IncrementalMealyTreeBuilder

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

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

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

E

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

Edge(Node<I>, I) - Constructor for class net.automatalib.incremental.dfa.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.IncrementalMealyTreeBuilder

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() - Method in class net.automatalib.incremental.mealy.tree.AnnotatedEdge

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

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

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

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

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

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

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.IncrementalMealyTreeBuilder.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.IncrementalMealyTreeBuilder.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 interface net.automatalib.incremental.IncrementalConstruction

Retrieves the input alphabet of this construction.

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

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) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

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

getInputSymbol(AnnotatedEdge<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.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.IncrementalMealyTreeBuilder.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) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

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

getOutput(S, I) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView

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

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

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

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

getOutputSymbol(AnnotatedEdge<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.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

getStateProperty(S) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.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) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

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

getSuccessor(Edge<I, O>) - Method in class net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.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) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.GraphView

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

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

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, I) - Method in class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

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

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

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

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

getTransitionProperty(T) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView

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

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

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

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

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

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

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

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

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

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

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

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

IncrementalMealyBuilder.TransitionSystemView<I,O,S,T> - 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.AutomatonView() - Constructor for class net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

inputAlphabet - Variable in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder

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

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

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

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

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

Deprecated.

since 2014-01-22. Use IncrementalMealyDAGBuilder.hasDefinitiveInformation(Word)

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

Retrieves the output word for the given input word.

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

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

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

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

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

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

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

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.

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

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 - Class in net.automatalib.incremental.mealy.dag

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

T

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

trace(Iterable<? extends I>, List<? super O>) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView

trace(S, Iterable<? extends I>, List<? super O>) - Method in class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView

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

TransitionRecord - Class in net.automatalib.incremental.mealy.dag

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

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