edu.toronto.cs.proof
Class ProofStep

java.lang.Object
  extended by edu.toronto.cs.proof.ProofStep
Direct Known Subclasses:
ConjProofStep, DisjProofStep, EGProofStep, EUiProofStep, EUProofStep, EXProofStep, NegProofStep, PropProofStep

public abstract class ProofStep
extends java.lang.Object


Constructor Summary
protected ProofStep(AlgebraValue _v, MvSet _state, java.lang.String _stateName, CTLNode _consequent)
           
 
Method Summary
 java.lang.Object accept(ProofVisitor pv, java.lang.Object info)
           
 boolean discharge()
           
 java.util.List getAntecedents()
           
 CTLNode getConsequent()
           
 MvSet getState()
           
 AlgebraValue[] getStateAsArray()
          unrolls the state into an array of values
 java.lang.String getStateName()
           
 AlgebraValue getValue()
           
 boolean isDischarged()
           
protected  void makeSingleState()
           
 java.lang.String toString()
           
abstract  boolean unfold()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ProofStep

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

getValue

public AlgebraValue getValue()

getStateName

public java.lang.String getStateName()

getState

public MvSet getState()

getStateAsArray

public AlgebraValue[] getStateAsArray()
unrolls the state into an array of values


makeSingleState

protected void makeSingleState()

getConsequent

public CTLNode getConsequent()

getAntecedents

public java.util.List getAntecedents()

isDischarged

public boolean isDischarged()

discharge

public boolean discharge()

unfold

public abstract boolean unfold()

accept

public java.lang.Object accept(ProofVisitor pv,
                               java.lang.Object info)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object