forge.solve
Class Trace

java.lang.Object
  extended by forge.solve.Trace
All Implemented Interfaces:
CFGElement, ProgramElement

public final class Trace
extends java.lang.Object
implements CFGElement

A trace of a Forge procedure, a series of steps.

Author:
Greg Dennis (gdennis@mit.edu)

Method Summary
 ForgeCFG cfg()
          Returns the cfg to which this element belongs.
 ForgeConstant evaluate(ForgeExpression expr)
           
 boolean evaluateBool(ForgeExpression expr)
           
 int evaluateInt(ForgeExpression expr)
           
 Binding finalBind()
           
 Binding initialBind()
           
 java.lang.Object kkInstance()
          Returns the Kodkod instance from which this trace was created.
 ForgeProgram program()
          Returns the program to which this element belongs.
 java.util.List<Step> steps()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

kkInstance

public java.lang.Object kkInstance()
Returns the Kodkod instance from which this trace was created.


program

public ForgeProgram program()
Description copied from interface: ProgramElement
Returns the program to which this element belongs.

Specified by:
program in interface ProgramElement

cfg

public ForgeCFG cfg()
Description copied from interface: CFGElement
Returns the cfg to which this element belongs.

Specified by:
cfg in interface CFGElement

initialBind

public Binding initialBind()

finalBind

public Binding finalBind()

steps

public java.util.List<Step> steps()

evaluate

public ForgeConstant evaluate(ForgeExpression expr)

evaluateBool

public boolean evaluateBool(ForgeExpression expr)

evaluateInt

public int evaluateInt(ForgeExpression expr)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object