Java Reference

Java Reference

IntegerVariableProtoOrBuilder

Detailed Description

Definition at line 6 of file IntegerVariableProtoOrBuilder.java.

Public Member Functions

java.lang.String getName ()
 
com.google.protobuf.ByteString getNameBytes ()
 
java.util.List< java.lang.Long > getDomainList ()
 
int getDomainCount ()
 
long getDomain (int index)
 

Member Function Documentation

◆ getDomain()

long getDomain ( int  index)
The variable domain given as a sorted list of n disjoint intervals
[min, max] and encoded as [min_0, max_0,  ..., min_{n-1}, max_{n-1}].
The most common example being just [min, max].
If min == max, then this is a constant variable.
We have:
  • domain_size() is always even.
  • min == domain.front();
  • max == domain.back();
  • for all i < n : min_i <= max_i
  • for all i < n-1 : max_i + 1 < min_{i+1}. Note that we check at validation that a variable domain is small enough so that we don't run into integer overflow in our algorithms. Because of that, you cannot just have "unbounded" variable like [0, kint64max] and should try to specify tighter domains.
repeated int64 domain = 2;
Parameters
indexThe index of the element to return.
Returns
The domain at the given index.

Implemented in IntegerVariableProto.Builder, and IntegerVariableProto.

◆ getDomainCount()

int getDomainCount ( )
The variable domain given as a sorted list of n disjoint intervals
[min, max] and encoded as [min_0, max_0,  ..., min_{n-1}, max_{n-1}].
The most common example being just [min, max].
If min == max, then this is a constant variable.
We have:
  • domain_size() is always even.
  • min == domain.front();
  • max == domain.back();
  • for all i < n : min_i <= max_i
  • for all i < n-1 : max_i + 1 < min_{i+1}. Note that we check at validation that a variable domain is small enough so that we don't run into integer overflow in our algorithms. Because of that, you cannot just have "unbounded" variable like [0, kint64max] and should try to specify tighter domains.
repeated int64 domain = 2;
Returns
The count of domain.

Implemented in IntegerVariableProto.Builder, and IntegerVariableProto.

◆ getDomainList()

java.util.List<java.lang.Long> getDomainList ( )
The variable domain given as a sorted list of n disjoint intervals
[min, max] and encoded as [min_0, max_0,  ..., min_{n-1}, max_{n-1}].
The most common example being just [min, max].
If min == max, then this is a constant variable.
We have:
  • domain_size() is always even.
  • min == domain.front();
  • max == domain.back();
  • for all i < n : min_i <= max_i
  • for all i < n-1 : max_i + 1 < min_{i+1}. Note that we check at validation that a variable domain is small enough so that we don't run into integer overflow in our algorithms. Because of that, you cannot just have "unbounded" variable like [0, kint64max] and should try to specify tighter domains.
repeated int64 domain = 2;
Returns
A list containing the domain.

Implemented in IntegerVariableProto.Builder, and IntegerVariableProto.

◆ getName()

java.lang.String getName ( )
For debug/logging only. Can be empty.

string name = 1;

Returns
The name.

Implemented in IntegerVariableProto.Builder, and IntegerVariableProto.

◆ getNameBytes()

com.google.protobuf.ByteString getNameBytes ( )
For debug/logging only. Can be empty.

string name = 1;

Returns
The bytes for name.

Implemented in IntegerVariableProto.Builder, and IntegerVariableProto.


The documentation for this interface was generated from the following file: