edu.toronto.cs.proof
Class DisjProofStep

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

public class DisjProofStep
extends ProofStep


Constructor Summary
DisjProofStep(AlgebraValue _v, MvSet _state, java.lang.String stateName, CTLNode _consequent, DisjProofStrategy _strategy)
           
 
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

DisjProofStep

public DisjProofStep(AlgebraValue _v,
                     MvSet _state,
                     java.lang.String stateName,
                     CTLNode _consequent,
                     DisjProofStrategy _strategy)
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