Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ABLE 2.3.0 07/13/2005 14:21:00
PREV NEXT | FRAMES NO FRAMES

## 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ABLE 2.3.0 07/13/2005 14:21:00
PREV NEXT | FRAMES NO FRAMES

(C) Copyright IBM Corporation 1999, 2005