| java.lang.Object
 org.mandarax.reference.RightMostSelectionPolicy
| RightMostSelectionPolicy | | final public class RightMostSelectionPolicy implements SelectionPolicy(Code) | | Simple selection policy - just use the converse order of the
negative literals of the goal.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.1 |
| Method Summary | |
| public int[] | getOrderedPositions(Clause goal, Clause appliedClause)
Return an array of integers specifying in which order the inference engine
should attempt to unify the literals with the candidate. |
| getOrderedPositions | | public int[] getOrderedPositions(Clause goal, Clause appliedClause)(Code) | | Return an array of integers specifying in which order the inference engine
should attempt to unify the literals with the candidate.
int[] the indices
Parameters:
goal - the goal
Parameters:
appliedClause - the clause that should be used to prove the goal |
|
|