org.jacop.jasat.modules

Class HeuristicAssertionModule

java.lang.Object

org.jacop.jasat.modules.HeuristicAssertionModule

All Implemented Interfaces:

SolverComponent

public final class HeuristicAssertionModule
extends Object
implements SolverComponent

module used to guide research by selecting the next literal to assert

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
HeuristicAssertionModule(ActivityModule activity)

Method Summary

Modifier and Type	Method and Description
int	findNextVar() this is the main heuristic function, which tries to guess which literal is the most interesting to set now.
void	initialize(Core core) initializes the component with the given solver.

Methods inherited from class java.lang.Object

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

Constructor Detail

HeuristicAssertionModule

public HeuristicAssertionModule(ActivityModule activity)

Method Detail

findNextVar

public int findNextVar()

this is the main heuristic function, which tries to guess which literal is the most interesting to set now. Can trigger SAT if no unset variable is found.

Returns:

a literal with no current value. Polarity counts.

initialize

public void initialize(Core core)

Description copied from interface: SolverComponent

initializes the component with the given solver. May be called only once. This method must register the component to the solver for the run.

Specified by:

initialize in interface SolverComponent

Parameters:

core - core component to initialize