com.ibm.bluej.consistency.formula

Class Formula

java.lang.Object

com.ibm.bluej.consistency.formula.Formula

Direct Known Subclasses:

RemovableFormula

public class Formula
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	CHECK_TERM
ATerm[]	condition
Creator	creator
static int	EXPAND_TERM
static int	SCAN_TERM

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
boolean	canMatch(int i, boolean positive)
java.lang.String	conditionToString(Binds binds)
boolean	groundOut(Binds binds, IndexEntry[] found, java.util.List<java.lang.Integer> conditions)
boolean	isPositive(int i)
int	termType(int i)
java.lang.String	toString()
void	uncreate()

Methods inherited from class java.lang.Object

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

Field Detail

creator

public Creator creator

condition

public ATerm[] condition

SCAN_TERM

public static final int SCAN_TERM

See Also:

Constant Field Values

CHECK_TERM

public static final int CHECK_TERM

See Also:

Constant Field Values

EXPAND_TERM

public static final int EXPAND_TERM

See Also:

Constant Field Values

Constructor Detail

Formula

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

Method Detail

conditionToString

public java.lang.String conditionToString(Binds binds)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

uncreate

public void uncreate()

groundOut

public boolean groundOut(Binds binds,
                IndexEntry[] found,
                java.util.List<java.lang.Integer> conditions)

isPositive

public final boolean isPositive(int i)

termType

public final int termType(int i)

canMatch

public final boolean canMatch(int i,
               boolean positive)