| java.lang.Object
 org.mandarax.kernel.LObject
org.mandarax.reference.Resolution
| Resolution | | public class Resolution extends org.mandarax.kernel.LObject (Code) | | Helper class to retrieve resolution steps. Instances are created
using the static method resolver(..).
The created resolution has the following structure:
- position1 is the position of the resolved fact in clause 1
- position1 is the position of the resolved fact in clause 2
- unification is the unification computed
- order is true if a negative literal from clause 1 has been unified with a positive
literal from clause 2 and false if it is the other way around.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.0
since:
Prova re-integration modifications
author:
Alex Kozlenkov
version:
3.4 <7 March 05> |
| position1 | | public int position1(Code) | | |
| position2 | | public int position2(Code) | | |
| hasFailed | | public boolean hasFailed()(Code) | | Indicate whether this resolution has failed.
true if the resolution has failed, false otherwise |
| resolve | | public static Resolution resolve(Clause c, Clause goal, UnificationAlgorithm ua, SelectionPolicy sp, boolean isRule)(Code) | | Prova version.
Resolve the two clauses.
the resolution
Parameters:
c - the clause
Parameters:
goal - the goal
Parameters:
ua - the unification algorithm used
Parameters:
sp - the selection policy used |
|
|