Uses of Class
com.ibm.able.data.AblePredicate

Packages that use AblePredicate

com.ibm.able.data	The ABLE data package defines classes for literals (constants) and variables used in expressions holding Java and user-defined data types as well as operators which can be applied to them.
com.ibm.able.rules	The rules package defines the ABLE rule language; various inferencing engines; objects and APIs for creating and running rulesets under program control.

Uses of AblePredicate in com.ibm.able.data

Subclasses of AblePredicate in com.ibm.able.data

class

AbleEmptyListPredicate This class represents an empty list predicate.

Methods in com.ibm.able.data that return AblePredicate

AblePredicate	AblePredicate.makeGround() Construct a ground instance (contains no variables) of this predicate All bound variables are removed and replaced by literals.
protected static AblePredicate	AblePredicate.getStandardList(java.util.Vector atomList) Take this Vector of args and turn it into the standard Prolog/Lisp list structure with a head and tail for each element in the list.
AblePredicate	AblePredicate.createMatchPredicate(java.util.Hashtable replacementVars) Create a copy of this predicate with unbound copies of any variables This copy is used in the match() method in AblePredicateEngine

Methods in com.ibm.able.data with parameters of type AblePredicate

static java.lang.String

AblePredicate.listToString(AblePredicate predList) Take a list predicate and turn it into a [ ] format string

Constructors in com.ibm.able.data with parameters of type AblePredicate

AblePredicate(java.lang.Object head, AblePredicate tail)
Construct a standard list predicate with a head and a predicate list as the tail

AblePredicate(AblePredicate thePredicate)
Construct a copy of the predicate with all local variables duplicated with same name and value.

Uses of AblePredicate in com.ibm.able.rules

Fields in com.ibm.able.rules declared as AblePredicate

protected AblePredicate	AblePredicateRule.myConsequent myConsequent is a single predicate clause or head of the rule.
protected AblePredicate	AblePredicateFact.myAssertion myAssertion is a predicate which can be ground or non-ground.
AblePredicate	AbleInferenceContext.predicate
protected AblePredicate	AbleARMLParser.myPredLhs

Methods in com.ibm.able.rules that return AblePredicate

AblePredicate	AblePredicateRule.getConsequent() Retrieve the rule's consequent clause, if any.
AblePredicate	AblePredicateFact.getAssertion() Retrieve the rule's assertion clause, if any.

Methods in com.ibm.able.rules with parameters of type AblePredicate

boolean	AblePredicateFact.equals(AblePredicate otherPredicate) Returns true if the facts are equal (same predicate and same args)
protected boolean	AblePredicateEngine.matchLists(AblePredicate list1, AblePredicate list2, java.util.Vector bindings, java.util.Vector goalBindings) See if list1 matches (unifies) with list2.
protected boolean	AblePredicateEngine.isList_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.call_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.atom_chars_2(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.atom_concat_3(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.sub_atom_5(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.atom_number_2(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.atom_length_2(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.functor_3(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.unify_2(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.consult_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.assert_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.asserta_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.assertz_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.retract_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.retractall_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.member_2(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.var_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.nonvar_1(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
protected boolean	AblePredicateEngine.univ_2(AblePredicate theGoal, java.util.Vector goalList, java.util.Vector goalBindings, int level)
com.ibm.able.planner4J.planners.classicalPlannerImpl.PredicateImpl	AblePlanningEngine.convertAblePredicateToGroundP4JPredicate(AblePredicate theAblePredicate) Take an AblePredicate as input and convert it into a ground planner4J predicate.
void	AbleInferenceContext.setPredicate(AblePredicate thePredicate)

Constructors in com.ibm.able.rules with parameters of type AblePredicate

AblePredicateRule(java.lang.String theLabel, java.util.Vector theAntecedents, AblePredicate theConsequent, AbleRuleSet theRuleSet)
Create a new predicate rule with the specified antecedent clauses and consequent clause.

AblePredicateRule(java.lang.String theLabel, AbleRd thePriority, java.util.Vector theAntecedents, AblePredicate theConsequent, AbleRuleSet theRuleSet)
Create a new predicate rule with the specified priority, antecedent clauses, and consequent clause.

AblePredicateRule(int theId, java.lang.String theLabel, java.util.Vector theAntecedents, AblePredicate theConsequent, AbleRuleSet theRuleSet)
Create a new predicate rule with the specified antecedent clauses and consequent clause.

AblePredicateRule(int theId, java.lang.String theLabel, AbleRd thePriority, java.util.Vector theAntecedents, AblePredicate theConsequent, AbleRuleSet theRuleSet)
Create a new predicate rule with the specified priority, antecedent clauses, and consequent clause.

AblePredicateQuery(AblePredicate goalClause)
create a query object over a single predicate

AblePredicateFact(java.lang.String theLabel, AblePredicate theAssertion, AbleRuleSet theRuleSet)
Create a new predicate fact rule with a default priority.

AblePredicateFact(java.lang.String theLabel, AbleRd thePriority, AblePredicate theAssertion, AbleRuleSet theRuleSet)
Create a new predicate fact rule with the specified priority.

AblePredicateFact(int theId, java.lang.String theLabel, AblePredicate theAssertion, AbleRuleSet theRuleSet)
Create a new predicate fact rule with a default priority.

AblePredicateFact(int theId, java.lang.String theLabel, AbleRd thePriority, AblePredicate theAssertion, AbleRuleSet theRuleSet)
Create a new predicate fact rule with the specified priority.