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
  • Field Details

  • Constructor Details

    • HeuristicAssertionModule

      public HeuristicAssertionModule(ActivityModule activity)
  • 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

      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