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