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
-
index The 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: