Enum SatParameters.RestartAlgorithm

java.lang.Object
java.lang.Enum<SatParameters.RestartAlgorithm>
com.google.ortools.sat.SatParameters.RestartAlgorithm
All Implemented Interfaces:
com.google.protobuf.Internal.EnumLite, com.google.protobuf.ProtocolMessageEnum, Serializable, Comparable<SatParameters.RestartAlgorithm>, java.lang.constant.Constable
Enclosing class:
SatParameters
public static enum SatParameters.RestartAlgorithm extends Enum<SatParameters.RestartAlgorithm> implements com.google.protobuf.ProtocolMessageEnum
 Restart algorithms.

 A reference for the more advanced ones is:
 Gilles Audemard, Laurent Simon, "Refining Restarts Strategies for SAT
 and UNSAT", Principles and Practice of Constraint Programming Lecture
 Notes in Computer Science 2012, pp 118-126
Protobuf enum operations_research.sat.SatParameters.RestartAlgorithm

  • Enum Constant Details

    • NO_RESTART

      public static final SatParameters.RestartAlgorithm NO_RESTART
      NO_RESTART = 0;

    • LUBY_RESTART

      public static final SatParameters.RestartAlgorithm LUBY_RESTART
       Just follow a Luby sequence times restart_period.
      LUBY_RESTART = 1;

    • DL_MOVING_AVERAGE_RESTART

      public static final SatParameters.RestartAlgorithm DL_MOVING_AVERAGE_RESTART
       Moving average restart based on the decision level of conflicts.
      DL_MOVING_AVERAGE_RESTART = 2;

    • LBD_MOVING_AVERAGE_RESTART

      public static final SatParameters.RestartAlgorithm LBD_MOVING_AVERAGE_RESTART
       Moving average restart based on the LBD of conflicts.
      LBD_MOVING_AVERAGE_RESTART = 3;

    • FIXED_RESTART

      public static final SatParameters.RestartAlgorithm FIXED_RESTART
       Fixed period restart every restart period.
      FIXED_RESTART = 4;

  • Field Details

    • NO_RESTART_VALUE

      public static final int NO_RESTART_VALUE
      NO_RESTART = 0;
      See Also:

    • LUBY_RESTART_VALUE

      public static final int LUBY_RESTART_VALUE
       Just follow a Luby sequence times restart_period.
      LUBY_RESTART = 1;
      See Also:

    • DL_MOVING_AVERAGE_RESTART_VALUE

      public static final int DL_MOVING_AVERAGE_RESTART_VALUE
       Moving average restart based on the decision level of conflicts.
      DL_MOVING_AVERAGE_RESTART = 2;
      See Also:

    • LBD_MOVING_AVERAGE_RESTART_VALUE

      public static final int LBD_MOVING_AVERAGE_RESTART_VALUE
       Moving average restart based on the LBD of conflicts.
      LBD_MOVING_AVERAGE_RESTART = 3;
      See Also:

    • FIXED_RESTART_VALUE

      public static final int FIXED_RESTART_VALUE
       Fixed period restart every restart period.
      FIXED_RESTART = 4;
      See Also:

  • Method Details

    • values

      public static SatParameters.RestartAlgorithm[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      Returns:
      an array containing the constants of this enum type, in the order they are declared

    • valueOf

      public static SatParameters.RestartAlgorithm valueOf(String name)
      Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum type has no constant with the specified name
      NullPointerException - if the argument is null

    • getNumber

      public final int getNumber()
      Specified by:
      getNumber in interface com.google.protobuf.Internal.EnumLite
      Specified by:
      getNumber in interface com.google.protobuf.ProtocolMessageEnum

    • valueOf

      @Deprecated public static SatParameters.RestartAlgorithm valueOf(int value)
      Deprecated.
      Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
      Parameters:
      value - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum type has no constant with the specified name
      NullPointerException - if the argument is null

    • forNumber

      public static SatParameters.RestartAlgorithm forNumber(int value)
      Parameters:
      value - The numeric wire value of the corresponding enum entry.
      Returns:
      The enum associated with the given numeric wire value.

    • internalGetValueMap

      public static com.google.protobuf.Internal.EnumLiteMap<SatParameters.RestartAlgorithm> internalGetValueMap()

    • getValueDescriptor

      public final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
      Specified by:
      getValueDescriptor in interface com.google.protobuf.ProtocolMessageEnum

    • getDescriptorForType

      public final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
      Specified by:
      getDescriptorForType in interface com.google.protobuf.ProtocolMessageEnum

    • getDescriptor

      public static com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()

    • valueOf

      public static SatParameters.RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
      Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
      Parameters:
      desc - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum type has no constant with the specified name
      NullPointerException - if the argument is null