|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |