edu.toronto.cs.proof
Class ConjProofStep

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

public class ConjProofStep
extends ProofStep


Constructor Summary
protected ConjProofStep(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

ConjProofStep

protected ConjProofStep(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