edu.toronto.cs.modelchecker
Interface ModelCompiler

All Known Implementing Classes:
AxelEx1a, AxelEx1b, AxelEx2, AxelEx4, ConcurExample, FairTester, FlatSmvCompiler, Game, GCLangCompiler, Helmut, Lift, LiftAbstract, MainLift, MyGame, OneBtn, Simple, SmvCompiler, SMVModule, XMLBeanModelCompiler, XMLXKripkeModelCompiler

public interface ModelCompiler


Method Summary
 XKripkeStructure compile()
           
 

Method Detail

compile

XKripkeStructure compile()