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_{n1}, max_{n1}]. 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 < n1 : 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_{n1}, max_{n1}]. 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 < n1 : 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_{n1}, max_{n1}]. 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 < n1 : 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: