|
ABLE 2.0.0 07/02/2003 10:25:01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.ibm.able.rules.AbleRule | +--com.ibm.able.rules.AblePredicateRule | +--com.ibm.able.rules.AblePredicateFact
This class represents a predicate fact, a single predicate.
Field Summary | |
---|---|
protected AblePredicate |
myAssertion
myAssertion is a predicate which can be ground or non-ground. |
Fields inherited from class com.ibm.able.rules.AblePredicateRule |
---|
copyId, myAntecedents, myConsequent, myCuts, myVariables |
Fields inherited from class com.ibm.able.rules.AbleRule |
---|
myBooleanTruth, myBreakpoint, myComment, myEnabled, myFiredCount, myFiredFlag, myId, myLabel, myLocation, myPreConditions, myPriority, myPrompt, myRdRefs, myRuleSet, myTemplateFlag, myTemplateName, myTemplateValues, myWrRefs, PriorityDefault, RuleIdInitial |
Constructor Summary | |
---|---|
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. |
|
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. |
Method Summary | |
---|---|
java.lang.String |
arlString()
Return a formal Able Rule Language (RL) string. |
AblePredicateRule |
createMatchFact()
Create a duplicate of this rule with new variables |
boolean |
equals(AblePredicate otherPredicate)
Returns true if the facts are equal (same predicate and same args) |
boolean |
equals(AblePredicateFact otherFact)
Returns true if the facts are equal (same predicate and same args) |
AblePredicate |
getAssertion()
Retrieve the rule's assertion clause, if any. |
java.lang.String |
getSignature()
Returns the signature of the rule head (consequent) |
java.lang.String |
toString()
Retrieve a string describing (the contents of) the object. |
protected java.lang.String |
trcString(int theTraceStringFlavor)
|
java.lang.String |
xmlString()
Return a formal XML string. |
Methods inherited from class com.ibm.able.rules.AblePredicateRule |
---|
applyBindings, createMatchRule, displayBindings, findAllVariables, getAntecedents, getBindings, getConsequent, getCuts, getTemplateString, numberOfAntecedents, reset, resetAllVariables, setBindings, traceString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
protected AblePredicate myAssertion
Constructor Detail |
public AblePredicateFact(java.lang.String theLabel, AblePredicate theAssertion, AbleRuleSet theRuleSet)
theLabel
- The unique label, or name, of this rule.
theAssertion
- A single predicate that defines this fact.theRuleSet
- A ruleset object to which this predicate belongs.
public AblePredicateFact(java.lang.String theLabel, AbleRd thePriority, AblePredicate theAssertion, AbleRuleSet theRuleSet)
theLabel
- The unique label, or name, of this rule.
thePriority
- The priority of this rule.
theAssertion
- A single predicate that defines this fact.
public AblePredicateFact(int theId, java.lang.String theLabel, AblePredicate theAssertion, AbleRuleSet theRuleSet)
theId
- The unique Id of this rule.
theLabel
- The unique label, or name, of this rule.
theAssertion
- A single predicate that defines this fact.
theRuleSet
- A ruleset object to which this rule belongs.
public AblePredicateFact(int theId, java.lang.String theLabel, AbleRd thePriority, AblePredicate theAssertion, AbleRuleSet theRuleSet)
theId
- The unique Id of this rule.
theLabel
- The unique label, or name, of this rule.
thePriority
- The priority of this rule. (not used in the predicate engine)
theAssertion
- A single predicate that defines this fact.
theRuleSet
- A ruleset object to which this rule belongs.
Method Detail |
public AblePredicateRule createMatchFact()
public AblePredicate getAssertion()
public java.lang.String getSignature()
getSignature
in class AblePredicateRule
public java.lang.String arlString()
arlString
in class AblePredicateRule
public java.lang.String xmlString()
xmlString
in class AblePredicateRule
public boolean equals(AblePredicateFact otherFact)
public boolean equals(AblePredicate otherPredicate)
public java.lang.String toString()
toString
in class AblePredicateRule
protected java.lang.String trcString(int theTraceStringFlavor)
trcString
in class AblePredicateRule
|
ABLE 2.0.0 07/02/2003 10:25:01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |