| 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) |