| java.lang.Object org.mandarax.reference.StrictSelectionPolicy
StrictSelectionPolicy | final public class StrictSelectionPolicy implements SelectionPolicy(Code) | | Strict selection policy - just use the first negative literal of the goal.
Prova re-integration modifications
author: Alex Kozlenkov version: 3.4 <7 March 05> |
Method Summary | |
public int[] | getOrderedPositions(Clause goal, Clause appliedClause) Return only the integer representing the left-most literal to attemp unification with the candidate. |
getOrderedPositions | public int[] getOrderedPositions(Clause goal, Clause appliedClause)(Code) | | Return only the integer representing the left-most literal to attemp unification with the candidate.
int[] the indices Parameters: goal - the goal Parameters: appliedClause - the clause that should be used to prove the goal |
|
|