Uses of Package
de.upb.swt.mcie.mc

Packages that use de.upb.swt.mcie.mc
de.upb.swt.mcie.formulas This package implements formulas, which can be state formulas, transition formulas or temporal formulas. 
de.upb.swt.mcie.mc This package implements models with the corresponding model checking procedures, and the main method for invoking the model checker. 
de.upb.swt.mcie.parser This package implements a parser and compiler for formulas and models. 
 

Classes in de.upb.swt.mcie.mc used by de.upb.swt.mcie.formulas
Model
          Abstract class for a model on which model checking should be performed.
 

Classes in de.upb.swt.mcie.mc used by de.upb.swt.mcie.mc
Model
          Abstract class for a model on which model checking should be performed.
 

Classes in de.upb.swt.mcie.mc used by de.upb.swt.mcie.parser
FairModel
          Implements a fair model based on some other model.
Kripkestructure
          Implements a Kripke structure.
Transitionsystem
          Implements a transition system.