Uses of Class
de.upb.swt.mcie.mc.FairModel

Packages that use FairModel
de.upb.swt.mcie.parser This package implements a parser and compiler for formulas and models. 
 

Uses of FairModel in de.upb.swt.mcie.parser
 

Methods in de.upb.swt.mcie.parser that return FairModel
 FairModel Parser.parseFairKripkestructure(Context context)
          Parses a fair Kripke structure and returns it as result.
 FairModel Parser.parseFairTransitionsystem(Context context)
          Parses a fair transition system and returns it as result.