edu.toronto.cs.proof
Class LinearWitnessVisitor.WitnessStep

java.lang.Object
  extended by edu.toronto.cs.proof.LinearWitnessVisitor.WitnessStep
Enclosing class:
LinearWitnessVisitor

public class LinearWitnessVisitor.WitnessStep
extends java.lang.Object


Constructor Summary
LinearWitnessVisitor.WitnessStep(AlgebraValue _v, AlgebraValue[] _succ, java.lang.String sn)
           
 
Method Summary
 AlgebraValue[] getSuccessor()
           
 AlgebraValue getTransValue()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LinearWitnessVisitor.WitnessStep

public LinearWitnessVisitor.WitnessStep(AlgebraValue _v,
                                        AlgebraValue[] _succ,
                                        java.lang.String sn)
Method Detail

getTransValue

public AlgebraValue getTransValue()

getSuccessor

public AlgebraValue[] getSuccessor()

toString

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