edu.toronto.cs.proof
Class EUiProofStep

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

public class EUiProofStep
extends ProofStep


Constructor Summary
EUiProofStep(AlgebraValue _v, MvSet _state, java.lang.String _stateName, CTLNode _consequent, int _bound)
           
 
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

EUiProofStep

public EUiProofStep(AlgebraValue _v,
                    MvSet _state,
                    java.lang.String _stateName,
                    CTLNode _consequent,
                    int _bound)
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