edu.toronto.cs.proof
Class ProofStep
java.lang.Object
edu.toronto.cs.proof.ProofStep
- Direct Known Subclasses:
- ConjProofStep, DisjProofStep, EGProofStep, EUiProofStep, EUProofStep, EXProofStep, NegProofStep, PropProofStep
public abstract class ProofStep
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ProofStep
protected ProofStep(AlgebraValue _v,
MvSet _state,
java.lang.String _stateName,
CTLNode _consequent)
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