Package com.google.ortools.sat

Enum SatParameters.FPRoundingMethod

  • All Implemented Interfaces:
    com.google.protobuf.Internal.EnumLite, com.google.protobuf.ProtocolMessageEnum, java.io.Serializable, java.lang.Comparable<SatParameters.FPRoundingMethod>
    Enclosing class:
    SatParameters
    public static enum SatParameters.FPRoundingMethod
extends java.lang.Enum<SatParameters.FPRoundingMethod>
implements com.google.protobuf.ProtocolMessageEnum
     Rounding method to use for feasibility pump.
    Protobuf enum operations_research.sat.SatParameters.FPRoundingMethod

    • Enum Constant Detail

      • LOCK_BASED

        public static final SatParameters.FPRoundingMethod LOCK_BASED
         Counts the number of linear constraints restricting the variable in the
 increasing values (up locks) and decreasing values (down locks). Rounds
 the variable in the direction of lesser locks.
        LOCK_BASED = 1;

      • ACTIVE_LOCK_BASED

        public static final SatParameters.FPRoundingMethod ACTIVE_LOCK_BASED
         Similar to lock based rounding except this only considers locks of active
 constraints from the last lp solve.
        ACTIVE_LOCK_BASED = 3;

      • PROPAGATION_ASSISTED

        public static final SatParameters.FPRoundingMethod PROPAGATION_ASSISTED
         This is expensive rounding algorithm. We round variables one by one and
 propagate the bounds in between. If none of the rounded values fall in
 the continuous domain specified by lower and upper bound, we use the
 current lower/upper bound (whichever one is closest) instead of rounding
 the fractional lp solution value. If both the rounded values are in the
 domain, we round to nearest integer.
        PROPAGATION_ASSISTED = 2;

    • Field Detail

      • NEAREST_INTEGER_VALUE

        public static final int NEAREST_INTEGER_VALUE
         Rounds to the nearest integer value.
        NEAREST_INTEGER = 0;
        See Also:
        Constant Field Values

      • LOCK_BASED_VALUE

        public static final int LOCK_BASED_VALUE
         Counts the number of linear constraints restricting the variable in the
 increasing values (up locks) and decreasing values (down locks). Rounds
 the variable in the direction of lesser locks.
        LOCK_BASED = 1;
        See Also:
        Constant Field Values

      • ACTIVE_LOCK_BASED_VALUE

        public static final int ACTIVE_LOCK_BASED_VALUE
         Similar to lock based rounding except this only considers locks of active
 constraints from the last lp solve.
        ACTIVE_LOCK_BASED = 3;
        See Also:
        Constant Field Values

      • PROPAGATION_ASSISTED_VALUE

        public static final int PROPAGATION_ASSISTED_VALUE
         This is expensive rounding algorithm. We round variables one by one and
 propagate the bounds in between. If none of the rounded values fall in
 the continuous domain specified by lower and upper bound, we use the
 current lower/upper bound (whichever one is closest) instead of rounding
 the fractional lp solution value. If both the rounded values are in the
 domain, we round to nearest integer.
        PROPAGATION_ASSISTED = 2;
        See Also:
        Constant Field Values

    • Method Detail

      • values

        public static SatParameters.FPRoundingMethod[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows: 
        for (SatParameters.FPRoundingMethod c : SatParameters.FPRoundingMethod.values())
    System.out.println(c);
        Returns:
        an array containing the constants of this enum type, in the order they are declared

      • valueOf

        public static SatParameters.FPRoundingMethod valueOf​(java.lang.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:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.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.FPRoundingMethod 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:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null

      • forNumber

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

      • 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 final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()

      • valueOf

        public static SatParameters.FPRoundingMethod 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:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null