Uses of Interface
de.ls5.jlearn.interfaces.State

Packages that use State

de.ls5.jlearn.algorithms.dhc
de.ls5.jlearn.algorithms.dhcmodular
de.ls5.jlearn.algorithms.packs
de.ls5.jlearn.interfaces
de.ls5.jlearn.shared
de.ls5.jlearn.splittercreators
de.ls5.jlearn.util

Uses of State in de.ls5.jlearn.algorithms.dhc

Constructors in de.ls5.jlearn.algorithms.dhc with parameters of type State

JobCollapseState(State parent, State state, Symbol transletter, DecisionTree<Symbol,State> siblingDB, Set<Word> newsplitters, int eqlevel, Set<Symbol> jokers, Oracle oracle, StopSignal stop)

JobFetchResult(Query key, Symbol letter, State state, HashMap<Query,Symbol> answers)

Constructor parameters in de.ls5.jlearn.algorithms.dhc with type arguments of type State

JobCollapseState(State parent, State state, Symbol transletter, DecisionTree<Symbol,State> siblingDB, Set<Word> newsplitters, int eqlevel, Set<Symbol> jokers, Oracle oracle, StopSignal stop)

Uses of State in de.ls5.jlearn.algorithms.dhcmodular

Methods in de.ls5.jlearn.algorithms.dhcmodular that return State

State	EquivalenceConceptSignature.getEquivalentState(State state)
State	EquivalenceConceptSignatureTree.getEquivalentState(State state)
State	EquivalenceConcept.getEquivalentState(State state)

Methods in de.ls5.jlearn.algorithms.dhcmodular with parameters of type State

Word	QueryCreatorAccessConcat.createQuery(State state, Symbol transition)
Word	QueryCreator.createQuery(State state, Symbol transition)
boolean	QueueGuardSigma.doEnqueue(State parent, Symbol transition, State successor)
boolean	QueueGuardAll.doEnqueue(State parent, Symbol transition, State successor)
boolean	QueueGuard.doEnqueue(State parent, Symbol transition, State successor)
State	EquivalenceConceptSignature.getEquivalentState(State state)
State	EquivalenceConceptSignatureTree.getEquivalentState(State state)
State	EquivalenceConcept.getEquivalentState(State state)
Iterable<Symbol>	TransitionSelector.selectTransitions(State state)
Iterable<Symbol>	TransitionSelectorDecreasingLength.selectTransitions(State state)

Constructors in de.ls5.jlearn.algorithms.dhcmodular with parameters of type State

TransitionSelectorDecreasingLength(State state)

Uses of State in de.ls5.jlearn.algorithms.packs

Methods in de.ls5.jlearn.algorithms.packs with parameters of type State

void	HypothesisChangeListener.initialState(State s)
void	HypothesisChangeListener.newState(State s)
void	HypothesisChangeListener.newTransition(State src, Symbol in, Symbol out, State dst)

Uses of State in de.ls5.jlearn.interfaces

Methods in de.ls5.jlearn.interfaces that return State

State	Automaton.addNewState() Creates a new State and return it.
State	Automaton.getOtherStateWithSameSignature(State s) Find state other than the supplied state producing the very same output for every input symbol of the alphabet.
State	Automaton.getStart() Return the starting state.
State[]	State.getSuccessorStates() Return all states reached by transitions of this state.
State	Automaton.getTraceState(Word trace, int steps) Return reached state after consuming the specified number of symbols of the input trace.
State	State.getTransitionState(Symbol letter) Get state the transition triggered by the supplied input-symbol leads to.

Methods in de.ls5.jlearn.interfaces that return types with arguments of type State

List<State>	SplitterCreator.applyToStates() Return a list of states from the hypothesis which are identified to be affected by splitters formely having been created using the createSplitters-method.
List<State>	Automaton.getAllStates() Applies a breadth-first search algorithm to retrieve all states reachable from the starting state.
List<State>	Automaton.getIncompleteStates() Returns all states of the automaton which not yet have a complete set of transitions.

Methods in de.ls5.jlearn.interfaces with parameters of type State

State	Automaton.getOtherStateWithSameSignature(State s) Find state other than the supplied state producing the very same output for every input symbol of the alphabet.
Word	Automaton.getTraceToState(State destination) Returns an access-sequence to the given state.
void	Annotated.setAccessSequence(State s, Word w) annotate state with specific access sequence
boolean	State.setTransition(Symbol input, State succ, Symbol output) Create a transition for a given input-symbol, leading into the supplied successor state and prodcing the supplied output-symbol.

Uses of State in de.ls5.jlearn.shared

Classes in de.ls5.jlearn.shared that implement State

class

StateImpl

Methods in de.ls5.jlearn.shared that return State

State	AutomatonImpl.addNewState()
State	AutomatonImpl.getOtherStateWithSameSignature(State s)
State	AutomatonImpl.getStart()
State[]	StateImpl.getSuccessorStates()
State	AutomatonImpl.getTraceState(Word trace, int steps)
State	StateImpl.getTransitionState(Symbol letter)

Methods in de.ls5.jlearn.shared that return types with arguments of type State

List<State>	AnnotatedAutomaton.getAllStates()
List<State>	AutomatonImpl.getAllStates()
List<State>	AnnotatedFSA.getAllStates()
List<State>	Snapshot.getHightlights()
List<State>	AutomatonImpl.getIncompleteStates()

Methods in de.ls5.jlearn.shared with parameters of type State

State	AutomatonImpl.getOtherStateWithSameSignature(State s)
static Snapshot	Snapshot.getSnapshot(Automaton a, State highlight, String description)
Word	AnnotatedAutomaton.getTraceToState(State destination)
Word	AutomatonImpl.getTraceToState(State destination)
Word	AnnotatedFSA.getTraceToState(State destination)
void	AnnotatedAutomaton.setAccessSequence(State s, Word w)
void	AnnotatedFSA.setAccessSequence(State s, Word w)
boolean	StateImpl.setTransition(Symbol input, State newstate, Symbol output)

Method parameters in de.ls5.jlearn.shared with type arguments of type State

static Snapshot

Snapshot.getSnapshot(Automaton a, List<State> highlights, String description)

Uses of State in de.ls5.jlearn.splittercreators

Methods in de.ls5.jlearn.splittercreators that return types with arguments of type State

List<State>	SplitterCreatorAllSuffixes.applyToStates()
List<State>	RivestStyleSplitterCreator.applyToStates()
List<State>	HowarStyleSplitterCreator.applyToStates()
List<State>	KearnsStyleSplitterCreator.applyToStates()
List<State>	MalerStyleSplitterCreator.applyToStates()
List<State>	KearnsStyleDFASplitterCreator.applyToStates()
List<State>	ShahbazStyleSplitterCreator.applyToStates()
List<State>	RivestStyleDFASplitterCreator.applyToStates()

Uses of State in de.ls5.jlearn.util

Methods in de.ls5.jlearn.util that return types with arguments of type State

static List<State>

AutomatonUtil.getStatesInBFSOrder(Automaton automaton) Applies a breadth-first search algorithm to retrieve all states reachable from the starting state.

Methods in de.ls5.jlearn.util with parameters of type State

static Word	AutomatonUtil.findDistinguishingSuffix(Automaton a, State s1, State s2) Deprecated.
abstract Automaton	AutomatonTransformationUtil.mergeStates(State source, State target)
abstract Automaton	AutomatonTransformationUtil.removeState(State state)

Method parameters in de.ls5.jlearn.util with type arguments of type State

static void	DotUtil.writeDot(Automaton a, Appendable out, int realsigma, List<State> highlights, Set<Symbol> hide, String description)
static void	DotUtil.writeDot(Automaton a, Appendable out, int realsigma, List<State> highlights, String description)

Constructors in de.ls5.jlearn.util with parameters of type State

StateSignature(Automaton sys, State s)