org.kahina.logic.sat.muc.heuristics

Class SingleStepHeuristic

java.lang.Object

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

org.kahina.logic.sat.muc.heuristics.SingleStepHeuristic

public class SingleStepHeuristic
extends ReductionHeuristic

Field Summary

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

uc

Constructor Summary

Constructors

Constructor and Description
SingleStepHeuristic(int toReduce)

Method Summary

Methods

Modifier and Type	Method and Description
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

deliverCriticalClauses, deliverProof, getName, needsProof, setNewUC, setSelVarOffset, usesProofs

Methods inherited from class java.lang.Object

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

Constructor Detail

SingleStepHeuristic

public SingleStepHeuristic(int toReduce)

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.