laser.regularlanguage.fsa
Class UnreachableStateEliminator<L extends LabelInterface>

java.lang.Object
  extended by laser.regularlanguage.fsa.UnreachableStateEliminator<L>

public class UnreachableStateEliminator<L extends LabelInterface>
extends java.lang.Object

The UnreachableStateEliminator class elimates all states contained within the given FSA that are not reachable from the start state.

Author:
Heather M. Conboy (laser-software@cs.umass.edu)

Constructor Summary
UnreachableStateEliminator()
          Creates a new UnreachableStateEliminator.
 
Method Summary
 boolean eliminate(MutableFSAInterface<L> fsa)
          Elimates all states contained within the given FSA that are not reachable from the start state.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UnreachableStateEliminator

public UnreachableStateEliminator()
Creates a new UnreachableStateEliminator.

Method Detail

eliminate

public boolean eliminate(MutableFSAInterface<L> fsa)
Elimates all states contained within the given FSA that are not reachable from the start state.

Parameters:
fsa - The FSA of interest