|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbiz.hammurapi.rules.Derivation
public class Derivation
This class is a tracking element for inference process. It is created by rules during inference process and attached to facts.
Constructor Summary | |
---|---|
Derivation(java.lang.Object target)
|
Method Summary | |
---|---|
void |
addSourceFact(java.lang.Object fact)
Adds fact to derivation. |
boolean |
equals(java.lang.Object obj)
|
int |
getDepth()
Derivation depth is the size of the longest of logical chains which lead to this derivation. |
java.util.Set |
getFacts()
|
java.lang.String |
getRuleFullName()
|
java.lang.Object |
getRuleInstance()
|
java.lang.reflect.Method |
getRuleMethod()
|
int |
hashCode()
|
boolean |
isDerivedFrom(java.lang.Object fact)
|
boolean |
negatedBy(Negator negator)
Derivation is negated if any of its constituent facts in negated. |
void |
toDom(org.w3c.dom.Element holder)
|
java.lang.String |
toString()
|
javax.swing.tree.TreeNode |
toTreeNode(javax.swing.tree.TreeNode parent,
java.lang.String title)
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Derivation(java.lang.Object target)
target
- Method Detail |
---|
public java.lang.Object getRuleInstance()
public java.lang.reflect.Method getRuleMethod()
public int getDepth()
public void addSourceFact(java.lang.Object fact)
fact
- public java.lang.String getRuleFullName()
public java.lang.String toString()
toString
in class java.lang.Object
public void toDom(org.w3c.dom.Element holder)
toDom
in interface biz.hammurapi.xml.dom.DomSerializable
public boolean negatedBy(Negator negator)
negator
-
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.util.Set getFacts()
public int hashCode()
hashCode
in class java.lang.Object
public javax.swing.tree.TreeNode toTreeNode(javax.swing.tree.TreeNode parent, java.lang.String title)
toTreeNode
in interface biz.hammurapi.swing.Visualizable
public boolean isDerivedFrom(java.lang.Object fact)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |