edu.toronto.cs.modelchecker
Interface ModelCompiler

All Known Implementing Classes:
BoolProgramCompiler, GCLangCompiler, PProgramCompiler

public interface ModelCompiler


Method Summary
 XKripkeStructure compile()
           
 

Method Detail

compile

XKripkeStructure compile()