Uses of Class
com.inxar.syntacs.automaton.pushdown.SCCTransitiveClosure.NonTrivialSCCException

Packages that use SCCTransitiveClosure.NonTrivialSCCException
com.inxar.syntacs.automaton.pushdown Defines classes which implement pushdown automata and their construction. 
 

Uses of SCCTransitiveClosure.NonTrivialSCCException in com.inxar.syntacs.automaton.pushdown
 

Methods in com.inxar.syntacs.automaton.pushdown that throw SCCTransitiveClosure.NonTrivialSCCException
 void SCCTransitiveClosure.evaluate()