edu.toronto.cs.yasm.trace
Class TraceGenerator
java.lang.Object
edu.toronto.cs.yasm.trace.TraceGenerator
public class TraceGenerator
- extends java.lang.Object
Describe class TraceGenerator here.
Created: Mon May 16 14:46:38 2005
- Version:
- 1.0
- Author:
- Arie Gurfinkel
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TraceGenerator
public TraceGenerator(PProgram _pProgram,
XKripkeStructure _xkripke,
MvSetModelChecker _xchek,
CTLNode prop,
MvSet _result,
AlgebraValue _value)
- Creates a new
TraceGenerator
instance.
step
public java.util.Map step()
currentState
public java.util.Map currentState()
hasNext
public boolean hasNext()
startOnPort
public void startOnPort(int port)
throws java.lang.Exception
- Throws:
java.lang.Exception