|
| |
|
| org.mandarax.reference.Complex
 org.mandarax.reference.FactImpl
org.mandarax.reference.PrerequisiteImpl
| PrerequisiteImpl | | public class PrerequisiteImpl extends FactImpl implements Prerequisite(Code) | | Reference implementation of the Prerequisite interface.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
2.0
since:
Prova re-integration modifications
author:
Alex Kozlenkov
version:
3.4 <7 March 05> |
| PrerequisiteImpl | | public PrerequisiteImpl()(Code) | | Constructor.
|
| PrerequisiteImpl | | PrerequisiteImpl(Predicate aPredicate, Term[] terms, boolean negatedAF)(Code) | | Constructor.
Parameters:
aPredicate - a predicate
Parameters:
terms - the terms
Parameters:
negatedAF - whether the prerequisite is negated |
| applyToFact | | public Fact applyToFact(java.util.Collection r)(Code) | | Apply a set of replacements to a fact. Returns a new fact!
the fact resulting from the application of the replacement
Parameters:
r - a collection of replacementProva: processing of "extra" |
| applyToFact | | public Fact applyToFact(Replacement r)(Code) | | Apply a single replacement to a fact. Returns a new fact!
the fact (clause) resulting from the application of the replacement
Parameters:
r - a replacement |
| equals | | public boolean equals(Object obj)(Code) | | Compares objects.
Parameters:
obj - the object to compare this object with true if the objects are equal, false otherwise |
| isNegatedAF | | public boolean isNegatedAF()(Code) | | Indicates whether the prerequisite is negated (negation as failure)
true if the prerequisite is negated, false otherwise |
| setExtra | | public void setExtra(Object _extra)(Code) | |
Parameters:
_extra - |
| setNegatedAF | | public void setNegatedAF(boolean value)(Code) | | Set the negated (as failure) flag.
Parameters:
value - true or false |
| toString | | public String toString()(Code) | | Convert the object to a string.
the string representation of the object |
|
|
|