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

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.