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

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.