de.ls5.jlearn.shared
Class AnnotatedAutomaton

java.lang.Object
  de.ls5.jlearn.shared.AutomatonImpl
      de.ls5.jlearn.shared.AnnotatedAutomaton

All Implemented Interfaces:

Annotated, Automaton, Serializable

public class AnnotatedAutomaton
extends AutomatonImpl
implements Annotated

allows access-sequences to be set manually

Author:

fh

See Also:

Serialized Form

Constructor Summary

AnnotatedAutomaton(Alphabet a)

AnnotatedAutomaton(Automaton m)

Method Summary

List<State>	getAllStates() Applies a breadth-first search algorithm to retrieve all states reachable from the starting state.
Word	getTraceToState(State destination) Returns an access-sequence to the given state.
void	setAccessSequence(State s, Word w) annotate state with specific access sequence

Methods inherited from class de.ls5.jlearn.shared.AutomatonImpl

addNewState, getAlphabet, getCopyWithRestrictedAlphabet, getIncompleteStates, getOptimizedTracesEnabled, getOtherStateWithSameSignature, getOutputAlphabet, getStart, getTraceOutput, getTraceState, getTraceToStateOptimized, isWellDefined, reassignStateIds

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AnnotatedAutomaton

public AnnotatedAutomaton(Alphabet a)

AnnotatedAutomaton

public AnnotatedAutomaton(Automaton m)

Method Detail

setAccessSequence

public void setAccessSequence(State s,
                              Word w)

Description copied from interface: Annotated

annotate state with specific access sequence

Specified by:

setAccessSequence in interface Annotated

getTraceToState

public Word getTraceToState(State destination)

Description copied from interface: Automaton

Returns an access-sequence to the given state.

Specified by:

getTraceToState in interface Automaton

Overrides:

getTraceToState in class AutomatonImpl

Returns:

trace to supplied state

getAllStates

public List<State> getAllStates()

Description copied from interface: Automaton

Applies a breadth-first search algorithm to retrieve all states reachable from the starting state.

Specified by:

getAllStates in interface Automaton

Overrides:

getAllStates in class AutomatonImpl

Returns:

list of states in automaton