edu.toronto.cs.proof
Class EXProofStep

java.lang.Object
  extended by edu.toronto.cs.proof.ProofStep
      extended by edu.toronto.cs.proof.EXProofStep

public class EXProofStep
extends ProofStep


Constructor Summary
protected EXProofStep(AlgebraValue _v, MvSet _state, java.lang.String _stateName, CTLNode _consequent)
           
 
Method Summary
 java.lang.Object accept(ProofVisitor pv, java.lang.Object info)
           
 boolean unfold()
           
 
Methods inherited from class edu.toronto.cs.proof.ProofStep
discharge, getAntecedents, getConsequent, getState, getStateAsArray, getStateName, getValue, isDischarged, makeSingleState, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

EXProofStep

protected EXProofStep(AlgebraValue _v,
                      MvSet _state,
                      java.lang.String _stateName,
                      CTLNode _consequent)
Method Detail

unfold

public boolean unfold()
Specified by:
unfold in class ProofStep

accept

public java.lang.Object accept(ProofVisitor pv,
                               java.lang.Object info)
Overrides:
accept in class ProofStep