Parameters: fact - True if the fact equals to one of slots or one of derivationsis based on this fact.
public synchronized boolean
isNegatedBy(Negator negator) Returns true if negator negates this conclusion any of its slots or all its derivations.
If conclusion has more than one derivation that negated derivations are removed from
derivations collection.
Parameters: pattern - Pattern to use in toString(). The pattern should use ${slot name} placeholders.E.g. Parent conclusion can use pattern "${parent} is parent of ${child}".
Parameters: fact - True if the fact equals to one of slots or one of derivationsis based on this fact.
isNegatedBy
public synchronized boolean isNegatedBy(Negator negator)(Code)
Returns true if negator negates this conclusion any of its slots or all its derivations.
If conclusion has more than one derivation that negated derivations are removed from
derivations collection. Conclusion is negated based on derivations only if at leas one of its derivations
is negated. In other words conclusion which collection of derivations is empty will not be negated based
on derivations but only based on self and slots.
Parameters: negator -
Convenience method to properly negate objects taking implementations of
Negatable into account.
Parameters: o - Object to be negated Parameters: n - Negator true if negator negates object
Puts value to a slot.
Value gets converted to a handle.
Parameters: slotName - Parameters: value -
supercedes
public synchronized boolean supercedes(Object obj)(Code)
One conclusion supercedes another if it is a subclass of the other
and slots of the both are equal. In other words more specific
conclusion supercedec more generic. E.g. conclusion that Mary is a mother of Joe
is more specific than that Mary is a parent of Joe.
Parameters: conclusion - true if this fact is more specific than argument.
toDom
public synchronized void toDom(Element holder)(Code)