de.ls5.jlearn.shared
Class AnnotatedFSA

java.lang.Object
  extended by de.ls5.jlearn.shared.AutomatonImpl
      extended by de.ls5.jlearn.shared.FiniteStateAcceptor
          extended by 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


Copyright © 2011. All Rights Reserved.