org.kahina.logic.sat.muc.heuristics

Class AscendingIndexHeuristic

java.lang.Object

org.kahina.logic.sat.muc.heuristics.ReductionHeuristic

org.kahina.logic.sat.muc.heuristics.AscendingIndexHeuristic

public class AscendingIndexHeuristic
extends ReductionHeuristic

Field Summary

Fields inherited from class org.kahina.logic.sat.muc.heuristics.ReductionHeuristic

uc

Constructor Summary

Constructors

Constructor and Description
AscendingIndexHeuristic()

Method Summary

Methods

Modifier and Type	Method and Description
void	deliverCriticalClauses(java.util.Set<java.lang.Integer> criticalClauses) Does nothing by default
java.lang.String	getName() Defines the name of the heuristic as displayed in the reduction agent system.
int	getNextCandidate() Is used by the reduction agent steered by this heuristic to poll reduction candidates.

Methods inherited from class org.kahina.logic.sat.muc.heuristics.ReductionHeuristic

deliverProof, needsProof, setNewUC, setSelVarOffset, usesProofs

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AscendingIndexHeuristic

public AscendingIndexHeuristic()

Method Detail

getNextCandidate

public int getNextCandidate()

Description copied from class: ReductionHeuristic

Is used by the reduction agent steered by this heuristic to poll reduction candidates. This is the main interface for defining a heuristic, and it may depend on arbitrarily complex internal calculations. This method is abstract, so that every heuristic needs to implement it.

Specified by:

getNextCandidate in class ReductionHeuristic

Returns:

the next reduction candidate to be tried, -1 to terminate.

deliverCriticalClauses

public void deliverCriticalClauses(java.util.Set<java.lang.Integer> criticalClauses)

Description copied from class: ReductionHeuristic

Does nothing by default

Overrides:

deliverCriticalClauses in class ReductionHeuristic

getName

public java.lang.String getName()

Description copied from class: ReductionHeuristic

Defines the name of the heuristic as displayed in the reduction agent system.

Overrides:

getName in class ReductionHeuristic

Returns:

the name of the heuristic.