Package | Description |
---|---|
com.ibm.bluej.consistency.formula |
Constructor and Description |
---|
Formula(Creator creator,
ATerm[] condition,
boolean[] positive,
GroundingPlan groundingPlan,
CRFState crfState) |
RemovableFormula(Creator creator,
ATerm[] condition,
boolean[] positive,
GroundingPlan groundingPlan,
CRFState crfState) |