com.google.ortools.sat.IntegerVariableProtoOrBuilder Interface Reference

Detailed Description

Definition at line 9 of file IntegerVariableProtoOrBuilder.java.

Inheritance diagram for com.google.ortools.sat.IntegerVariableProtoOrBuilder:

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 com.google.ortools.sat.IntegerVariableProtoOrBuilder.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 com.google.ortools.sat.IntegerVariableProto.Builder, and com.google.ortools.sat.IntegerVariableProto.

getDomainCount()

int com.google.ortools.sat.IntegerVariableProtoOrBuilder.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 com.google.ortools.sat.IntegerVariableProto.Builder, and com.google.ortools.sat.IntegerVariableProto.

getDomainList()

java.util.List< java.lang.Long > com.google.ortools.sat.IntegerVariableProtoOrBuilder.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 com.google.ortools.sat.IntegerVariableProto.Builder, and com.google.ortools.sat.IntegerVariableProto.

getName()

java.lang.String com.google.ortools.sat.IntegerVariableProtoOrBuilder.getName

(

)

For debug/logging only. Can be empty.

string name = 1;

Returns

The name.

Implemented in com.google.ortools.sat.IntegerVariableProto.Builder, and com.google.ortools.sat.IntegerVariableProto.

getNameBytes()

com.google.protobuf.ByteString com.google.ortools.sat.IntegerVariableProtoOrBuilder.getNameBytes

(

)

For debug/logging only. Can be empty.

string name = 1;

Returns

The bytes for name.

Implemented in com.google.ortools.sat.IntegerVariableProto.Builder, and com.google.ortools.sat.IntegerVariableProto.

---

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

• build/java/ortools-java/src/main/java/com/google/ortools/sat/IntegerVariableProtoOrBuilder.java