Uses of Class
com.ibm.bluej.consistency.formula.Formula

Packages that use Formula

Package	Description
com.ibm.bluej.consistency
com.ibm.bluej.consistency.formula
com.ibm.bluej.consistency.learning
com.ibm.bluej.consistency.old
com.ibm.bluej.consistency.term
com.ibm.bluej.consistency.validate

Uses of Formula in com.ibm.bluej.consistency

Fields in com.ibm.bluej.consistency with type parameters of type Formula

Modifier and Type	Field and Description
java.util.ArrayList<Formula>	CRFDescription.formulas
java.util.ArrayList<Formula>	CRFDescription.objectives

Methods in com.ibm.bluej.consistency that return types with arguments of type Formula

Modifier and Type	Method and Description
IRandomAccessible<Formula>	GroundFindFormulaMap.findMatching(boolean positive, ScanTerm term)
java.util.Iterator<Formula>	GroundFindFormulaMap.getFormulas()
abstract java.util.Iterator<Formula>	GroundFindFormula.getFormulas()

Methods in com.ibm.bluej.consistency with parameters of type Formula

Modifier and Type	Method and Description
void	GroundFindFormulaMap.add(Formula f)
void	DefineCreate.add(Formula origin)
abstract void	GroundFindFormula.add(Formula f)
void	CRFState.addFormula(Formula f)
void	GroundFindFormulaMap.remove(Formula f)
abstract void	GroundFindFormula.remove(Formula f)
void	CRFState.removeFormula(Formula f)

Uses of Formula in com.ibm.bluej.consistency.formula

Subclasses of Formula in com.ibm.bluej.consistency.formula

Modifier and Type	Class and Description
class	RemovableFormula

Methods in com.ibm.bluej.consistency.formula with parameters of type Formula

Modifier and Type	Method and Description
void	FactorFunction.add(Formula origin)
void	FactorCreate.add(Formula origin)
void	FormulaCreate.add(Formula origin)
void	MemberCreate.add(Formula origin)

Uses of Formula in com.ibm.bluej.consistency.learning

Methods in com.ibm.bluej.consistency.learning with parameters of type Formula

Modifier and Type	Method and Description
void	BetaWeights.add(Formula origin)
void	ParamCreate.add(Formula origin)

Uses of Formula in com.ibm.bluej.consistency.old

Methods in com.ibm.bluej.consistency.old that return types with arguments of type Formula

Modifier and Type	Method and Description
java.util.Iterator<Formula>	GroundFindFormulaList.getFormulas()

Methods in com.ibm.bluej.consistency.old with parameters of type Formula

Modifier and Type	Method and Description
void	GroundFindFormulaList.add(Formula f)
void	GroundFindFormulaList.remove(Formula f)

Uses of Formula in com.ibm.bluej.consistency.term

Methods in com.ibm.bluej.consistency.term with parameters of type Formula

Modifier and Type	Method and Description
void	FormulaTermCollection.add(Formula origin)
void	FunctionConditional.add(Formula origin)

Constructors in com.ibm.bluej.consistency.term with parameters of type Formula

Constructor and Description
FunctionConditional(FormulaCreate wrappedCreate, Formula f, java.util.Collection<java.lang.Integer> conditions, Binds binds)

Uses of Formula in com.ibm.bluej.consistency.validate

Method parameters in com.ibm.bluej.consistency.validate with type arguments of type Formula

Modifier and Type	Method and Description
static java.util.HashSet<java.lang.String>	BasicCheck.checkBasic(java.util.Collection<Formula> formulas)
static java.util.HashSet<java.lang.String>	GroundableCheck.checkBindable(java.util.Collection<Formula> formulas)
static java.util.HashSet<java.lang.String>	ConstantCheck.checkConstant(java.util.Collection<Formula> formulas)