Package org.opt4j.satdecoding.sat4j

Class VariableOrder

java.lang.Object
org.sat4j.minisat.orders.VarOrderHeap
org.opt4j.satdecoding.sat4j.VariableOrder
All Implemented Interfaces:
Serializable, org.sat4j.minisat.core.IOrder
public class VariableOrder extends org.sat4j.minisat.orders.VarOrderHeap
A VariableOrder implementation for the SAT4J interface.
(not documented, see Sat4J.org)
See Also:

  • Constructor Summary

    Constructors
    Constructor
    Description
    VariableOrder()
    Constructs a VariableOrder.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    init()
     
    int
    select()
     
    void
    setLits(org.sat4j.minisat.core.ILits lits)
     
    void
    setVarActivity(int var, double value)
    Sets the activity of a variable var to the specified value.
    void
    setVarInc(double value)
    Sets the value varInc to increase the activity of the variables.
    void
    setVarPhase(int var, boolean phase)
    Sets the phase of a variable var.
    void
    updateVar(int p)
     

    Methods inherited from class org.sat4j.minisat.orders.VarOrderHeap

    assignLiteral, getPhaseSelectionStrategy, getVariableHeuristics, getVocabulary, numberOfInterestingVariables, printStat, setPhaseSelectionStrategy, setVarDecay, toString, undo, updateVarAtDecisionLevel, varActivity, varDecayActivity

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

  • Method Details

    • setLits

      public void setLits(org.sat4j.minisat.core.ILits lits)
      Specified by:
      setLits in interface org.sat4j.minisat.core.IOrder
      Overrides:
      setLits in class org.sat4j.minisat.orders.VarOrderHeap

    • init

      public void init()
      Specified by:
      init in interface org.sat4j.minisat.core.IOrder
      Overrides:
      init in class org.sat4j.minisat.orders.VarOrderHeap

    • updateVar

      public void updateVar(int p)
      Specified by:
      updateVar in interface org.sat4j.minisat.core.IOrder
      Overrides:
      updateVar in class org.sat4j.minisat.orders.VarOrderHeap

    • setVarInc

      public void setVarInc(double value)
      Sets the value varInc to increase the activity of the variables.
      Parameters:
      value - the value to increase the activity of the variables

    • setVarActivity

      public void setVarActivity(int var, double value)
      Sets the activity of a variable var to the specified value.
      Parameters:
      var - the variable
      value - the activity to set

    • setVarPhase

      public void setVarPhase(int var, boolean phase)
      Sets the phase of a variable var.
      Parameters:
      var - the variable
      phase - the phase

    • select

      public int select()
      Specified by:
      select in interface org.sat4j.minisat.core.IOrder
      Overrides:
      select in class org.sat4j.minisat.orders.VarOrderHeap