|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Kripkestructure | |
---|---|
de.upb.swt.mcie.parser | This package implements a parser and compiler for formulas and models. |
Uses of Kripkestructure in de.upb.swt.mcie.parser |
---|
Methods in de.upb.swt.mcie.parser that return Kripkestructure | |
---|---|
Kripkestructure |
Parser.parseKripkestructure(Context context)
Parses a Kripke structure and returns it as result. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |