*Interface Configuration and implementations DetConfig and NonDetConfig
added
*Variables bindingsInNonFinalStateCount and bindingsInFinalStateCount
removed because they were added to the superclass SmallStepMonitor
*Methods allBindingsInFinalState and existsOneBindingInFinalState
removed because they were added to the superclass SmallStepMonitor
*Variables bindingsInNonFinalStateCount and bindingsInFinalStateCount
added
*Methods allBindingsInFinalState and existsOneBindingInFinalState added
*Monitor added for non-deterministic QEA with one quantified variable
and no free variables
*Method addTransition modified to remove array copy
*Method getNextStates modified to receive as parameter and return a
NonDetConfig instead of an array of integer
*Method containsFinalState added