A C D F G H I L M N T V
All Classes All Packages

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.

AbstractVisualizationHelper<S,I,T,A extends Automaton<S,I,T>> - Class in net.automatalib.incremental.dfa

Abstract visualization helper for IncrementalDFABuilders.

AbstractVisualizationHelper(A) - Constructor for class net.automatalib.incremental.dfa.AbstractVisualizationHelper

Acceptance - Enum in net.automatalib.incremental.dfa

Tri-state acceptance value.

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

A variation of the IncrementalMealyBuilder interface that allows one to override previously inserted traces.

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

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

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

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

addAlphabetSymbol(I) - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder

addAlphabetSymbol(I) - Method in class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder

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

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

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

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

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 class net.automatalib.incremental.mealy.tree.DynamicIncrementalMealyTreeBuilder

asGraph() - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder

asGraph() - Method in class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder

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

asTransitionSystem() - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder

asTransitionSystem() - Method in interface net.automatalib.incremental.moore.IncrementalMooreBuilder

asTransitionSystem() - Method in class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder

C

ConflictException - Exception in net.automatalib.incremental

Conflict exception.

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

Default constructor.

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

Constructor.

ConflictException(String, Throwable) - 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

DONT_KNOW - net.automatalib.incremental.dfa.Acceptance

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

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

F

FALSE - net.automatalib.incremental.dfa.Acceptance

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(DFA<?, I>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder

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

findSeparatingWord(MooreMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder

findSeparatingWord(MooreMachine<?, I, ?, O>, Collection<? extends I>, boolean) - Method in class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder

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(S) - Method in class net.automatalib.incremental.dfa.AbstractVisualizationHelper

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.moore.dag.IncrementalMooreDAGBuilder

getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.incremental.dfa.AbstractVisualizationHelper

getNodeProperties(S, Map<String, String>) - Method in class net.automatalib.incremental.mealy.VisualizationHelper

getOldestInput() - Method in interface net.automatalib.incremental.mealy.AdaptiveMealyBuilder

Returns the oldest, non-overridden input that has been introduced and persisted.

getOldestInput() - Method in class net.automatalib.incremental.mealy.tree.AdaptiveMealyTreeBuilder

H

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

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.dag.IncrementalMealyDAGBuilder

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

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

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

I

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.

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

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

General interface for incremental Mealy builders.

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.

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

Incrementally builds a tree with transition outputs from a set of input and corresponding output words.

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

IncrementalMooreBuilder<I,O> - Interface in net.automatalib.incremental.moore

General interface for incremental Moore builders.

IncrementalMooreDAGBuilder<I,O> - Class in net.automatalib.incremental.moore.dag

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

IncrementalMooreDAGBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.moore.dag.IncrementalMooreDAGBuilder

Constructor.

IncrementalMooreTreeBuilder<I,O> - Class in net.automatalib.incremental.moore.tree

Incrementally builds a (tree-based) Moore machine from a set of input and corresponding output words.

IncrementalMooreTreeBuilder(Alphabet<I>) - Constructor for class net.automatalib.incremental.moore.tree.IncrementalMooreTreeBuilder

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

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

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.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>, 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 interface net.automatalib.incremental.mealy.AdaptiveMealyBuilder

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

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

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

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

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

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

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

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 interface net.automatalib.incremental.mealy.MealyBuilder

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

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

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

Retrieves the output word for the given input word.

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

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

Retrieves the output word for the given input word.

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

M

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

A utility interface to share functionality between IncrementalMealyBuilders and AdaptiveMealyBuilders.

N

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

This package (including sub-packages) contains several approaches for the incremental construction of automaton-like structures.

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.moore - package net.automatalib.incremental.moore

net.automatalib.incremental.moore.dag - package net.automatalib.incremental.moore.dag

net.automatalib.incremental.moore.tree - package net.automatalib.incremental.moore.tree

T

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

TRUE - net.automatalib.incremental.dfa.Acceptance

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.

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

A utility class for rendering IncrementalMealyBuilders.

VisualizationHelper(MealyMachine<S, I, T, O>) - Constructor for class net.automatalib.incremental.mealy.VisualizationHelper

A C D F G H I L M N T V
All Classes All Packages