Interface LinearObjectiveOrBuilder

All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
All Known Implementing Classes:
LinearObjective, LinearObjective.Builder
@Generated public interface LinearObjectiveOrBuilder extends com.google.protobuf.MessageOrBuilder

  • Method Summary

    Modifier and Type
    Method
    Description
    long
    getCoefficients(int index)
    repeated int64 coefficients = 2;
    int
    getCoefficientsCount()
    repeated int64 coefficients = 2;
    List<Long>
    getCoefficientsList()
    repeated int64 coefficients = 2;
    int
    getLiterals(int index)
    The goal is always to minimize the linear Boolean formula defined by these two fields: sum_i literal_i * coefficient_i where literal_i is 1 iff literal_i is true in a given assignment.
    int
    getLiteralsCount()
    The goal is always to minimize the linear Boolean formula defined by these two fields: sum_i literal_i * coefficient_i where literal_i is 1 iff literal_i is true in a given assignment.
    List<Integer>
    getLiteralsList()
    The goal is always to minimize the linear Boolean formula defined by these two fields: sum_i literal_i * coefficient_i where literal_i is 1 iff literal_i is true in a given assignment.
    double
    getOffset()
    For a given variable assignment, the "real" problem objective value is 'scaling_factor * (minimization_objective + offset)' where 'minimization_objective is the one defined just above.
    double
    getScalingFactor()
    optional double scaling_factor = 4 [default = 1];
    boolean
    hasOffset()
    For a given variable assignment, the "real" problem objective value is 'scaling_factor * (minimization_objective + offset)' where 'minimization_objective is the one defined just above.
    boolean
    hasScalingFactor()
    optional double scaling_factor = 4 [default = 1];

    Methods inherited from interface com.google.protobuf.MessageLiteOrBuilder

    isInitialized

    Methods inherited from interface com.google.protobuf.MessageOrBuilder

    findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

  • Method Details

    • getLiteralsList

      List<Integer> getLiteralsList()
       The goal is always to minimize the linear Boolean formula defined by these
 two fields: sum_i literal_i * coefficient_i where literal_i is 1 iff
 literal_i is true in a given assignment.

 Note that the same variable shouldn't appear twice and that zero
 coefficients are not allowed.
      repeated int32 literals = 1;
      Returns:
      A list containing the literals.

    • getLiteralsCount

      int getLiteralsCount()
       The goal is always to minimize the linear Boolean formula defined by these
 two fields: sum_i literal_i * coefficient_i where literal_i is 1 iff
 literal_i is true in a given assignment.

 Note that the same variable shouldn't appear twice and that zero
 coefficients are not allowed.
      repeated int32 literals = 1;
      Returns:
      The count of literals.

    • getLiterals

      int getLiterals(int index)
       The goal is always to minimize the linear Boolean formula defined by these
 two fields: sum_i literal_i * coefficient_i where literal_i is 1 iff
 literal_i is true in a given assignment.

 Note that the same variable shouldn't appear twice and that zero
 coefficients are not allowed.
      repeated int32 literals = 1;
      Parameters:
      index - The index of the element to return.
      Returns:
      The literals at the given index.

    • getCoefficientsList

      List<Long> getCoefficientsList()
      repeated int64 coefficients = 2;
      Returns:
      A list containing the coefficients.

    • getCoefficientsCount

      int getCoefficientsCount()
      repeated int64 coefficients = 2;
      Returns:
      The count of coefficients.

    • getCoefficients

      long getCoefficients(int index)
      repeated int64 coefficients = 2;
      Parameters:
      index - The index of the element to return.
      Returns:
      The coefficients at the given index.

    • hasOffset

      boolean hasOffset()
       For a given variable assignment, the "real" problem objective value is
 'scaling_factor * (minimization_objective + offset)' where
 'minimization_objective is the one defined just above.

 Note that this is not what we minimize, but it is what we display.
 In particular if scaling_factor is negative, then the "real" problem is
 a maximization problem, even if the "internal" objective is minimized.
      optional double offset = 3 [default = 0];
      Returns:
      Whether the offset field is set.

    • getOffset

      double getOffset()
       For a given variable assignment, the "real" problem objective value is
 'scaling_factor * (minimization_objective + offset)' where
 'minimization_objective is the one defined just above.

 Note that this is not what we minimize, but it is what we display.
 In particular if scaling_factor is negative, then the "real" problem is
 a maximization problem, even if the "internal" objective is minimized.
      optional double offset = 3 [default = 0];
      Returns:
      The offset.

    • hasScalingFactor

      boolean hasScalingFactor()
      optional double scaling_factor = 4 [default = 1];
      Returns:
      Whether the scalingFactor field is set.

    • getScalingFactor

      double getScalingFactor()
      optional double scaling_factor = 4 [default = 1];
      Returns:
      The scalingFactor.