Uses of Class
com.ibm.bluej.consistency.term.Binds

Packages that use Binds

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.proposal
com.ibm.bluej.consistency.term
com.ibm.bluej.consistency.term.corefunc

Uses of Binds in com.ibm.bluej.consistency

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

Modifier and Type	Method and Description
FormulaCreate	MakeConstCreator.create(Binds binds, CRFState crfState)
FormulaCreate	DefineCreator.create(Binds binds, CRFState crfState)
int	FormulaFindGroundAdaptive.estimateMatching(ScanTerm t, Binds binds)
int	FormulaFindGroundRand.estimateMatching(ScanTerm t, Binds binds)
IRandomAccessible<IndexEntry>	FormulaFindGroundAdaptive.find(ScanTerm t, Binds binds)
IRandomAccessible<IndexEntry>	FormulaFindGroundRand.find(ScanTerm t, Binds binds)
ATerm	ProposalFunction.ground(Binds binds, Updatable neededBy)
boolean	ProposalFunction.isGround(Binds binds)

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

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

Modifier and Type	Method and Description
java.lang.String	Formula.conditionToString(Binds binds)
FormulaCreate	FactorFunctionCreator.create(Binds binds, CRFState crfState)
FormulaCreate	FactorCreator.create(Binds binds, CRFState crfState)
FormulaCreate	Creator.create(Binds binds, CRFState crfState)
boolean	Formula.groundOut(Binds binds, IndexEntry[] found, java.util.List<java.lang.Integer> conditions)
static MemberCreate	MemberCreate.makeMemberCreate(OriginatingTermCollection bag, ATerm t, Binds binds)

Constructors in com.ibm.bluej.consistency.formula with parameters of type Binds

Constructor and Description
FactorFunction(ParamWeight theta, ATerm weightFun, Binds binds, CRFState crfState)

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

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

Modifier and Type	Method and Description
FormulaCreate	ParamCreator.create(Binds binds, CRFState crfState)
FormulaCreate	BetaWeightCreator.create(Binds binds, CRFState crfState)
FormulaCreate	ObjectiveCreator.create(Binds binds, CRFState crfState)

Constructors in com.ibm.bluej.consistency.learning with parameters of type Binds

Constructor and Description
BetaWeights(java.lang.String id, ATerm arg, Binds binds, CRFState crfState)

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

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

Modifier and Type	Method and Description
int	FormulaFindGroundFirstK.estimateMatching(ScanTerm t, Binds binds)
int	FormulaFindGroundList.estimateMatching(ScanTerm t, Binds binds)
int	FormulaFindGroundComboTest.estimateMatching(ScanTerm t, Binds binds)
abstract int	FormulaFindGround.estimateMatching(ScanTerm t, Binds binds)
int	FormulaFindGroundMap.estimateMatching(ScanTerm t, Binds binds)
void	FormulaFindGroundFirstK.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
void	FormulaFindGroundList.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
void	FormulaFindGroundComboTest.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
abstract void	FormulaFindGround.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
void	FormulaFindGroundMap.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)

Uses of Binds in com.ibm.bluej.consistency.proposal

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

Modifier and Type	Method and Description
java.util.Iterator<Binds>	ProposalConditionCheckTerm.expandAll(Binds binds, CRFState crfState)
java.util.Iterator<Binds>	ProposalCondition.expandAll(Binds binds, CRFState crfState)
java.util.Iterator<Binds>	ProposalConditionExpandTerm.expandAll(Binds binds, CRFState crfState)
java.util.Iterator<Binds>	ProposalConditionScan.expandAll(Binds binds, CRFState crfState)

Methods in com.ibm.bluej.consistency.proposal with parameters of type Binds

Modifier and Type	Method and Description
java.util.Iterator<Binds>	ProposalConditionCheckTerm.expandAll(Binds binds, CRFState crfState)
java.util.Iterator<Binds>	ProposalCondition.expandAll(Binds binds, CRFState crfState)
java.util.Iterator<Binds>	ProposalConditionExpandTerm.expandAll(Binds binds, CRFState crfState)
java.util.Iterator<Binds>	ProposalConditionScan.expandAll(Binds binds, CRFState crfState)
boolean	ProposalConditionCheckTerm.expandRandom(Binds binds, CRFState crfState)
boolean	ProposalCondition.expandRandom(Binds binds, CRFState crfState)
boolean	ProposalConditionExpandTerm.expandRandom(Binds binds, CRFState crfState)
boolean	ProposalConditionScan.expandRandom(Binds binds, CRFState crfState)

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

Methods in com.ibm.bluej.consistency.term that return Binds

Modifier and Type	Method and Description
Binds	Binds.copy()

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

Modifier and Type	Method and Description
abstract java.util.Iterator<Binds>	ExpandTerm.expand(Binds binds)

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

Modifier and Type	Method and Description
void	ScanTerm.bind(ATerm ground, Binds binds)
void	VarTerm.bind(ATerm ground, Binds binds)
java.lang.Boolean	CheckTerm.checkConstant(Binds binds)
FormulaCreate	FormulaTermCollection.create(Binds binds, CRFState crfState)
abstract int	ExpandTerm.estimateExpand(Binds binds)
abstract java.util.Iterator<Binds>	ExpandTerm.expand(Binds binds)
void	Binds.expand(Binds be)
ATerm	FormulaTermCollection.ground(Binds binds, Function neededBy)
ATerm	FunctionConditional.ground(Binds binds, Function neededBy)
ATerm	ScanTerm.ground(Binds binds, Updatable neededBy)
ATerm	ValueTerm.ground(Binds binds, Updatable neededBy)
ATerm	SetDefinition.ground(Binds binds, Updatable neededBy)
ATerm	VarTerm.ground(Binds binds, Updatable neededBy)
ATerm	Function.ground(Binds binds, Updatable neededBy)
abstract ATerm	ATerm.ground(Binds binds, Updatable neededBy)
ATerm	BagDefinition.ground(Binds binds, Updatable neededBy)
boolean	ValueTerm.isGround(Binds binds)
boolean	CompositeTerm.isGround(Binds binds)
boolean	VarTerm.isGround(Binds binds)
boolean	CollectionDefinition.isGround(Binds binds)
abstract boolean	ATerm.isGround(Binds binds)
boolean	ScanTerm.matches(ATerm ground, Binds binds) just a test, binds always unchanged

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

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

Uses of Binds in com.ibm.bluej.consistency.term.corefunc

Methods in com.ibm.bluej.consistency.term.corefunc that return types with arguments of type Binds

Modifier and Type	Method and Description
java.util.Iterator<Binds>	ExMember.expand(Binds binds)
java.util.Iterator<Binds>	ExGensym.expand(Binds binds)
java.util.Iterator<Binds>	ExInside.expand(Binds binds)
java.util.Iterator<Binds>	ExSucc.expand(Binds binds)

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

Modifier and Type	Method and Description
int	ExMember.estimateExpand(Binds binds)
int	ExGensym.estimateExpand(Binds binds)
int	ExInside.estimateExpand(Binds binds)
int	ExSucc.estimateExpand(Binds binds)
java.util.Iterator<Binds>	ExMember.expand(Binds binds)
java.util.Iterator<Binds>	ExGensym.expand(Binds binds)
java.util.Iterator<Binds>	ExInside.expand(Binds binds)
java.util.Iterator<Binds>	ExSucc.expand(Binds binds)
ATerm	FuncMemoized.ground(Binds binds, Updatable neededBy)