Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
edu.mit.csail.sdg.alloy4compiler.sim.SimCallback

Packages that use SimCallback
edu.mit.csail.sdg.alloy4compiler.sim This package contains a pure-Java evaluator/simulator for Alloy4 instances. 
 

Uses of SimCallback in edu.mit.csail.sdg.alloy4compiler.sim
 

Methods in edu.mit.csail.sdg.alloy4compiler.sim with parameters of type SimCallback
 void SimInstance.addCallback(Func predicateOrFunction, SimCallback callback)
          Register a callback.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES