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

Packages that use ATerm

Package	Description
com.ibm.bluej.consistency
com.ibm.bluej.consistency.formula
com.ibm.bluej.consistency.halfbaked
com.ibm.bluej.consistency.learning
com.ibm.bluej.consistency.old
com.ibm.bluej.consistency.optimize
com.ibm.bluej.consistency.proposal
com.ibm.bluej.consistency.term
com.ibm.bluej.consistency.term.corefunc
com.ibm.bluej.consistency.validate
com.ibm.bluej.consistency.validate.testcases

Uses of ATerm in com.ibm.bluej.consistency

Subclasses of ATerm in com.ibm.bluej.consistency

Modifier and Type	Class and Description
class	ProposalFunction Should be renamed to NumericProposalFunction, there can be other types of proposal functions

Methods in com.ibm.bluej.consistency that return ATerm

Modifier and Type	Method and Description
ATerm[]	CRFState.getQuicksave()
ATerm	ProposalFunction.ground(Binds binds, Updatable neededBy)
ATerm	FunctionMaker.parseFunction(java.lang.String func)
static ATerm	ParserBasic.parseFunction(java.lang.String func, java.util.Map<java.lang.String,java.lang.Class> funNameToClass)

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

Modifier and Type	Method and Description
java.util.ArrayList<ScanTerm>	CRFState.allMatch(ATerm... probe)
static java.util.ArrayList<ScanTerm>	SGSearch.allMatch(ATerm... probe)
IndexEntry	CheckNegatedGround.contains(ATerm t)
void	ISimpleConsistency.evidence(ATerm... terms)
void	CoreConsistency.evidence(ATerm... terms)
static void	SGSearch.evidence(ATerm... terms)
void	ISimpleConsistency.initialTrue(ATerm... terms)
void	CoreConsistency.initialTrue(ATerm... terms)
Function	FunctionMaker.makeFunction(java.lang.String predStr, ATerm... args)
static ScanTerm	SGSearch.randomMatch(ATerm... probe)
ScanTerm	FormulaFindGroundAdaptive.randomMatch(ATerm[] specifiers)
ScanTerm	FormulaFindGroundRand.randomMatch(ATerm[] specifiers)
void	ISimpleConsistency.reEvidence(ATerm... terms)
void	CoreConsistency.reEvidence(ATerm... terms) assert a ScanTerm(terms), if already true then fine
void	CheckNegatedGround.remove(ATerm t, boolean defined)

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

Modifier and Type	Method and Description
Function	FunctionMaker.makeFunction(java.lang.String predStr, java.util.Collection<? extends ATerm> args)

Constructors in com.ibm.bluej.consistency with parameters of type ATerm

Constructor and Description
GroundFindFormulaMap(ATerm[] quicksave)

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

Fields in com.ibm.bluej.consistency.formula declared as ATerm

Modifier and Type	Field and Description
ATerm[]	Formula.condition
ATerm	MemberCreate.term

Methods in com.ibm.bluej.consistency.formula that return ATerm

Modifier and Type	Method and Description
ATerm	FactorFunctionCreator.getWeightFunction()

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

Modifier and Type	Method and Description
static MemberCreate	MemberCreate.makeMemberCreate(OriginatingTermCollection bag, ATerm t, Binds binds)

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

Constructor and Description
FactorFunction(ParamWeight theta, ATerm weightFun, Binds binds, CRFState crfState)
FactorFunctionCreator(ATerm[] specifiers, ATerm defFun, CRFState crfState)
FactorFunctionCreator(ATerm[] specifiers, ATerm defFun, CRFState crfState)
FactorFunctionCreator(ParamWeight theta, ATerm defFun, CRFState crfState)
Formula(Creator creator, ATerm[] condition, boolean[] positive, GroundingPlan groundingPlan, CRFState crfState)
RemovableFormula(Creator creator, ATerm[] condition, boolean[] positive, GroundingPlan groundingPlan, CRFState crfState)

Uses of ATerm in com.ibm.bluej.consistency.halfbaked

Subclasses of ATerm in com.ibm.bluej.consistency.halfbaked

Modifier and Type	Class and Description
class	FuncNonConstSet

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

Modifier and Type	Method and Description
java.util.Iterator<ATerm>	FuncNonConstSet.iterator()

Methods in com.ibm.bluej.consistency.halfbaked with parameters of type ATerm

Modifier and Type	Method and Description
void	NonConstTermMap.addEntry(ATerm... terms)
double	MultiObjInitializer.initialValue(ATerm[] specifiers)
void	NonConstTermMap.modifiedEntry(ATerm... terms)
void	NonConstTermMap.removeEntry(ATerm... terms)

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

Methods in com.ibm.bluej.consistency.learning that return ATerm

Modifier and Type	Method and Description
static ATerm[]	ParamWeight.paramKeyFromProposalName(java.lang.String proposalName)

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

Modifier and Type	Method and Description
double	InitializerFunction.initialValue(ATerm[] specifiers)
ParamWeight	LearningState.instance(ATerm[] paramKey)
ParamWeight	LearningState.instance(ATerm[] paramKey, InitializerFunction initial, double initValue)
void	LearningState.set(ATerm[] paramKey, double value)

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

Constructor and Description
BetaWeightCreator(java.lang.String id, ATerm arg)
BetaWeights(java.lang.String id, ATerm arg, Binds binds, CRFState crfState)
ObjectiveCreator(double weight, ATerm weightFun)
ParamCreator(ATerm[] specifiers, InitializerFunction init, double initValue)

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

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

Modifier and Type	Method and Description
ScanTerm	FormulaFindGroundFirstK.randomMatch(ATerm[] probe)

Uses of ATerm in com.ibm.bluej.consistency.optimize

Subclasses of ATerm in com.ibm.bluej.consistency.optimize

Modifier and Type	Class and Description
class	FuncLogProbScore
class	FuncOddsScore
class	FuncRank

Fields in com.ibm.bluej.consistency.optimize declared as ATerm

Modifier and Type	Field and Description
ATerm	FuncLogProbScore.Instance.score

Methods in com.ibm.bluej.consistency.optimize with parameters of type ATerm

Modifier and Type	Method and Description
static java.util.Map<java.lang.String,java.util.ArrayList<com.ibm.bluej.util.common.Pair<CompositeTerm,java.lang.Integer>>>	Optimizer.gatherProposalFunctionPlaceholders(ATerm t)
static double	Optimizer.getValue(ATerm paramFormula, java.util.Map<java.lang.String,java.lang.Double> paramValues)

Constructors in com.ibm.bluej.consistency.optimize with parameters of type ATerm

Constructor and Description
FuncLogProbScore.Instance(java.lang.String id, boolean positive, ATerm score)

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

Constructors in com.ibm.bluej.consistency.proposal with parameters of type ATerm

Constructor and Description
ProposalConditionScan(ATerm[] parts)

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

Subclasses of ATerm in com.ibm.bluej.consistency.term

Modifier and Type	Class and Description
class	Bag
class	BagDefinition
class	BooleanTerm
class	CheckTerm
class	CollectionDefinition
class	CompositeTerm
class	ExpandTerm
class	FormulaTermCollection<V>
class	Function
class	FunctionConditional
class	MatrixTerm
class	NumberTerm
class	ParamWeightTerm
class	ScanTerm
class	SetDefinition
class	SparseVectorTerm
class	StringTerm
class	TermCollection
class	TermSet
class	ValueTerm
class	VarTerm
class	VectorTerm

Fields in com.ibm.bluej.consistency.term declared as ATerm

Modifier and Type	Field and Description
static ATerm[]	CompositeTerm.EMPTY_TERM
ATerm[]	CompositeTerm.parts

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

Modifier and Type	Method and Description
ATerm	ValueTerm.clone()
ATerm	Binds.get(VarTerm v)
ATerm[]	Binds.getQuicksave()
static ATerm	ATerm.getTerm(ATerm t)
ATerm	TermCollection.getValue()
ATerm	FunctionConditional.getValue()
abstract ATerm	Function.getValue()
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)
ATerm	ScanTerm.valueClone()
ATerm	ValueTerm.valueClone()
ATerm	VarTerm.valueClone()
ATerm	TermCollection.valueClone()
ATerm	CollectionDefinition.valueClone()
ATerm	Function.valueClone()
abstract ATerm	ATerm.valueClone()

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

Modifier and Type	Method and Description
static java.util.Collection<ATerm>	ATerm.getCollection(ATerm t)
java.util.Iterator<ATerm>	FormulaTermCollection.iterator()

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

Modifier and Type	Method and Description
boolean	TermCollection.add(ATerm e)
void	Binds.addFunctionUnlink(ATerm b, Updatable neededBy)
void	TermSet.addMember(ATerm t)
void	OriginatingTermCollection.addMember(ATerm t)
void	Bag.addMember(ATerm t)
void	ScanTerm.bind(ATerm ground, Binds binds)
void	VarTerm.bind(ATerm ground, Binds binds)
int	StringTerm.compareTo(ATerm other)
int	SparseVectorTerm.compareTo(ATerm o)
int	CompositeTerm.compareTo(ATerm other)
int	VectorTerm.compareTo(ATerm o)
int	VarTerm.compareTo(ATerm other)
int	FormulaTermCollection.compareTo(ATerm other)
int	ParamWeightTerm.compareTo(ATerm o)
int	NumberTerm.compareTo(ATerm other)
int	MatrixTerm.compareTo(ATerm o)
int	CollectionDefinition.compareTo(ATerm other)
int	BooleanTerm.compareTo(ATerm other)
boolean	Binds.contains(ATerm t)
static int	ATerm.crossClassCompare(ATerm first, ATerm second)
static void	ATerm.gatherTopFunctions(ATerm t, java.util.Collection<Function> funs)
static boolean	ATerm.getBoolean(ATerm t)
static java.util.Collection<ATerm>	ATerm.getCollection(ATerm t)
static double	ATerm.getDouble(ATerm t)
static int	ATerm.getInt(ATerm t)
static java.util.Map<java.lang.Object,com.ibm.bluej.util.common.MutableDouble>	ATerm.getSparseVector(ATerm t)
static java.lang.String	ATerm.getString(ATerm t)
static ATerm	ATerm.getTerm(ATerm t)
static double[]	ATerm.getVector(ATerm t)
boolean	ScanTerm.matches(ATerm ground, Binds binds) just a test, binds always unchanged
void	Bag.modifyMember(ATerm t, Function source, java.lang.Object[] sourceMsg)
void	TermSet.removeMember(ATerm t)
void	OriginatingTermCollection.removeMember(ATerm t)
void	Bag.removeMember(ATerm t)
void	Binds.set(VarTerm v, ATerm t)
static boolean	ATerm.testRecursive(ATerm t, com.ibm.bluej.util.common.FunST<ATerm,java.lang.Boolean> test)
boolean	ScanTerm.valueEquals(ATerm t)
boolean	ValueTerm.valueEquals(ATerm t)
boolean	VarTerm.valueEquals(ATerm t)
boolean	TermCollection.valueEquals(ATerm t)
boolean	CollectionDefinition.valueEquals(ATerm t)
boolean	Function.valueEquals(ATerm t)
abstract boolean	ATerm.valueEquals(ATerm t)

Method parameters in com.ibm.bluej.consistency.term with type arguments of type ATerm

Modifier and Type	Method and Description
boolean	TermCollection.addAll(java.util.Collection<? extends ATerm> c)
static boolean	ATerm.testRecursive(ATerm t, com.ibm.bluej.util.common.FunST<ATerm,java.lang.Boolean> test)

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

Constructor and Description
BagDefinition(ATerm created, ATerm[] condition, boolean[] positive, CRFState crfState)
BagDefinition(ATerm created, ATerm[] condition, boolean[] positive, CRFState crfState)
Binds(ATerm[] quicksave)
ScanTerm(ATerm... parts)
SetDefinition(ATerm created, ATerm[] condition, boolean[] positive, CRFState crfState)
SetDefinition(ATerm created, ATerm[] condition, boolean[] positive, CRFState crfState)

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

Subclasses of ATerm in com.ibm.bluej.consistency.term.corefunc

Modifier and Type	Class and Description
class	ExGensym
class	ExInside
class	ExMember
class	ExOutside
class	ExSucc
class	FuncAbs
class	FuncAverage
class	FuncCollectionMax
class	FuncConcat
class	FuncCosine
class	FuncDiv
class	FuncDotProduct
class	FuncEquals
class	FuncExp
class	FuncIdentity
class	FuncIntersection
class	FuncIsSubstring
class	FuncLess
class	FuncLessEquals
class	FuncLog
class	FuncLogistic
class	FuncMax
class	FuncMemoized Use at own risk, not well tested
class	FuncMin
class	FuncMinus
class	FuncMult
class	FuncNonMember
class	FuncNotEqual
class	FuncPlus
class	FuncSetFromBag
class	FuncSign
class	FuncSize
class	FuncSparseVectorSum
class	FuncSum
class	FuncThreshold
class	FuncToSparseVector
class	FuncUnion
class	FuncVectorSubtract
class	FuncVectorSum
class	NumberFunction
class	SimpleNumberFunction
class	VectorFunction

Methods in com.ibm.bluej.consistency.term.corefunc that return ATerm

Modifier and Type	Method and Description
ATerm	FuncToSparseVector.getValue()
ATerm	NumberFunction.getValue()
ATerm	FuncMemoized.getValue()
ATerm	FuncSparseVectorSum.getValue()
ATerm	FuncIdentity.getValue()
ATerm	FuncConcat.getValue()
ATerm	FuncMemoized.ground(Binds binds, Updatable neededBy)

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

Modifier and Type	Method and Description
java.util.Iterator<ATerm>	FuncUnion.iterator()
java.util.Iterator<ATerm>	FuncIntersection.iterator()

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

Constructor and Description
FuncIdentity(ATerm t)

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

Subclasses of ATerm in com.ibm.bluej.consistency.validate

Modifier and Type	Class and Description
class	DummyWeightFunc

Methods in com.ibm.bluej.consistency.validate that return ATerm

Modifier and Type	Method and Description
ATerm	DummyWeightFunc.getValue()

Methods in com.ibm.bluej.consistency.validate with parameters of type ATerm

Modifier and Type	Method and Description
static void	BasicCheck.checkCollectionDefinition(ATerm t, boolean isOk)

Constructor parameters in com.ibm.bluej.consistency.validate with type arguments of type ATerm

Constructor and Description
SearchTest(java.lang.String name, java.util.Collection<ATerm> setTrue)

Uses of ATerm in com.ibm.bluej.consistency.validate.testcases

Subclasses of ATerm in com.ibm.bluej.consistency.validate.testcases

Modifier and Type	Class and Description
class	FuncConnectedTo
static class	NERTest.FuncCapitalized

Methods in com.ibm.bluej.consistency.validate.testcases that return types with arguments of type ATerm

Modifier and Type	Method and Description
java.util.Iterator<ATerm>	FuncConnectedTo.iterator()