Uses of Interface
uk.ac.man.cs.rainbow.wvmc.Constants

Packages that use Constants

uk.ac.man.cs.rainbow.wvmc	Classes implementing a model-checker.
uk.ac.man.cs.rainbow.wvmc.parser	CTL*-NNF and LTL parsers.

Uses of Constants in uk.ac.man.cs.rainbow.wvmc

Classes in uk.ac.man.cs.rainbow.wvmc that implement Constants

class	AutomataBuilder Buchi-automata construction site.
class	Checker The model checker.
class	Examiner Formula representation optimiser.
class	Formula A CTL* formula fragment.
class	StateEngine Wrapper code to convert a sensible interface into the form required by the model checker.
class	TemporalModel Model Checker core.

Uses of Constants in uk.ac.man.cs.rainbow.wvmc.parser

Classes in uk.ac.man.cs.rainbow.wvmc.parser that implement Constants

class

SpecParse Parser for CTL* in negation-normal form and LTL.