de.ls5.jlearn.shared
Class AnnotatedFSA

java.lang.Object
  de.ls5.jlearn.shared.AutomatonImpl
      de.ls5.jlearn.shared.FiniteStateAcceptor
          de.ls5.jlearn.shared.AnnotatedFSA

All Implemented Interfaces:

Annotated, Automaton, Serializable

public class AnnotatedFSA
extends FiniteStateAcceptor
implements Annotated

allows access-sequences to be set manually

Author:

fh

See Also:

Serialized Form

Constructor Summary

AnnotatedFSA(Alphabet a)

AnnotatedFSA(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.FiniteStateAcceptor

getTraceOutput

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotatedFSA

public AnnotatedFSA(Alphabet a)

AnnotatedFSA

public AnnotatedFSA(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