Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

edu.wis.jtlv.lib
Class Simulation

java.lang.Object
  extended by edu.wis.jtlv.lib.Simulation

public class Simulation
extends java.lang.Object

Simulation - NOT YET IMPLEMENTED.

Seems like should be considered as an eclipse debugger for SMV files.

Version:
"1.3.2"
Author:
yaniv sa'ar.

Constructor Summary
Simulation()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Simulation

public Simulation()
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD