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

A

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

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

Acceptance - Enum in net.automatalib.incremental.dfa

Tri-state acceptance value.

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

C

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

Clones a state, changing the signature.

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

Clones a state, changing the signature.

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

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

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

createDynamicNodeMapping() - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

createStaticNodeMapping() - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

D

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

F

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

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

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

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

getEdgeProperty(TransitionRecord) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

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

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

getInitialState() - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

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

getNodeProperty(State) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

getNodes() - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

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

getOutgoingEdges(State) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

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

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

getState(Word<I>) - Method in class net.automatalib.incremental.dfa.IncrementalDFABuilder

Retrieves the state reached by a given word.

getState(Word<I>) - Method in class net.automatalib.incremental.dfa.IncrementalPCDFABuilder

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

getStates() - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

getSuccessor(TransitionRecord) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

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

getTarget(TransitionRecord) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

getTransition(State, I) - Method in class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

getTransition(State, I) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

getTransitionOutput(TransitionRecord) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

H

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

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

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

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

I

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

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

Basic interface for incremental automata constructions.

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

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

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

Constructor.

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

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

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

Constructor.

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

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

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

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

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

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

Inserts a word into the set of accepted words.

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

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

insert(Word<I>, boolean) - Method in class net.automatalib.incremental.dfa.IncrementalPCDFABuilder

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

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

isComplete(Word<I>) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

Checks whether there exists secured information about the output for the given word.

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

L

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

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

Checks the ternary acceptance status for a given word.

lookup(Word<I>) - Method in class net.automatalib.incremental.dfa.IncrementalPCDFABuilder

lookup(Word<I>, WordBuilder<O>) - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

Retrieves the output word for the given input word.

N

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

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

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

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

nodeIDs() - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

R

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

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

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

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

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

S

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

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

size() - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

State - Class in net.automatalib.incremental.mealy

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

T

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

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

Creates an automaton model from the current state of the construction.

toAutomaton() - Method in class net.automatalib.incremental.mealy.IncrementalMealyBuilder

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

TransitionRecord - Class in net.automatalib.incremental.mealy

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

U

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

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

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

Updates the signature for a given state.

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

Updates the signature for a given state.

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

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 F G H I L N R S T U V