com.ibm.bluej.consistency.formula

Class RemovableFormula

java.lang.Object

com.ibm.bluej.consistency.formula.Formula

com.ibm.bluej.consistency.formula.RemovableFormula

public class RemovableFormula
extends Formula

Field Summary

Fields inherited from class com.ibm.bluej.consistency.formula.Formula

CHECK_TERM, condition, creator, EXPAND_TERM, SCAN_TERM

Constructor Summary

Constructors

Constructor and Description
RemovableFormula(Creator creator, ATerm[] condition, boolean[] positive, GroundingPlan groundingPlan, CRFState crfState)

Method Summary

Methods

Modifier and Type	Method and Description
void	addCreate(FormulaCreate create)
void	uncreate()

Methods inherited from class com.ibm.bluej.consistency.formula.Formula

canMatch, conditionToString, groundOut, isPositive, termType, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RemovableFormula

public RemovableFormula(Creator creator,
                ATerm[] condition,
                boolean[] positive,
                GroundingPlan groundingPlan,
                CRFState crfState)

Method Detail

uncreate

public void uncreate()

Overrides:

uncreate in class Formula

addCreate

public void addCreate(FormulaCreate create)