edu.toronto.cs.proof
Class PropProofStep

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

public class PropProofStep
extends ProofStep


Constructor Summary
PropProofStep(AlgebraValue _v, MvSet _state, java.lang.String _stateName, CTLNode _consequent)
           
 
Method Summary
 java.lang.Object accept(ProofVisitor pv, java.lang.Object info)
           
 boolean discharge()
           
 boolean unfold()
           
 
Methods inherited from class edu.toronto.cs.proof.ProofStep
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

PropProofStep

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

discharge

public boolean discharge()
Overrides:
discharge in class ProofStep

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