Package org.jacop.jasat.modules
Class HeuristicAssertionModule
java.lang.Object
org.jacop.jasat.modules.HeuristicAssertionModule
- All Implemented Interfaces:
SolverComponent
module used to guide research by selecting the next literal to assert
- Version:
- 4.10
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionint
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.
-
Field Details
-
core
-
trail
-
activity
-
-
Constructor Details
-
HeuristicAssertionModule
-
-
Method Details
-
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
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 interfaceSolverComponent
- Parameters:
core
- core component to initialize
-