edu.toronto.cs.yasm.trace
Class TraceGenerator

java.lang.Object
  extended by 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

Constructor Summary
TraceGenerator(PProgram _pProgram, XKripkeStructure _xkripke, MvSetModelChecker _xchek, CTLNode prop, MvSet _result, AlgebraValue _value)
          Creates a new TraceGenerator instance.
 
Method Summary
 java.util.Map currentState()
           
 boolean hasNext()
           
 void startOnPort(int port)
           
 java.util.Map step()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TraceGenerator

public TraceGenerator(PProgram _pProgram,
                      XKripkeStructure _xkripke,
                      MvSetModelChecker _xchek,
                      CTLNode prop,
                      MvSet _result,
                      AlgebraValue _value)
Creates a new TraceGenerator instance.

Method Detail

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