Java Reference

Java Reference

Detailed Description

Next id: 30

Protobuf type

operations_research.sat.ConstraintProto

Definition at line 13 of file ConstraintProto.java.

Classes

class  Builder
 
enum  ConstraintCase
 

Public Member Functions

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields ()
 
ConstraintCase getConstraintCase ()
 
.lang.Override java.lang.String getName ()
 
.lang.Override com.google.protobuf.ByteString getNameBytes ()
 
.lang.Override java.util.List< java.lang.Integer > getEnforcementLiteralList ()
 
int getEnforcementLiteralCount ()
 
int getEnforcementLiteral (int index)
 
.lang.Override boolean hasBoolOr ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolOr ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolOrOrBuilder ()
 
.lang.Override boolean hasBoolAnd ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolAnd ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolAndOrBuilder ()
 
.lang.Override boolean hasAtMostOne ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getAtMostOne ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getAtMostOneOrBuilder ()
 
.lang.Override boolean hasExactlyOne ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getExactlyOne ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getExactlyOneOrBuilder ()
 
.lang.Override boolean hasBoolXor ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolXor ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolXorOrBuilder ()
 
.lang.Override boolean hasIntDiv ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntDiv ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntDivOrBuilder ()
 
.lang.Override boolean hasIntMod ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMod ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntModOrBuilder ()
 
.lang.Override boolean hasIntMax ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMax ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntMaxOrBuilder ()
 
.lang.Override boolean hasLinMax ()
 .operations_research.sat.LinearArgumentProto lin_max = 27; More...
 
.lang.Override com.google.ortools.sat.LinearArgumentProto getLinMax ()
 .operations_research.sat.LinearArgumentProto lin_max = 27; More...
 
.lang.Override com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMaxOrBuilder ()
 .operations_research.sat.LinearArgumentProto lin_max = 27; More...
 
.lang.Override boolean hasIntMin ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMin ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntMinOrBuilder ()
 
.lang.Override boolean hasLinMin ()
 .operations_research.sat.LinearArgumentProto lin_min = 28; More...
 
.lang.Override com.google.ortools.sat.LinearArgumentProto getLinMin ()
 .operations_research.sat.LinearArgumentProto lin_min = 28; More...
 
.lang.Override com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMinOrBuilder ()
 .operations_research.sat.LinearArgumentProto lin_min = 28; More...
 
.lang.Override boolean hasIntProd ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntProd ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntProdOrBuilder ()
 
.lang.Override boolean hasLinear ()
 
.lang.Override com.google.ortools.sat.LinearConstraintProto getLinear ()
 
.lang.Override com.google.ortools.sat.LinearConstraintProtoOrBuilder getLinearOrBuilder ()
 
.lang.Override boolean hasAllDiff ()
 
.lang.Override com.google.ortools.sat.AllDifferentConstraintProto getAllDiff ()
 
.lang.Override com.google.ortools.sat.AllDifferentConstraintProtoOrBuilder getAllDiffOrBuilder ()
 
.lang.Override boolean hasElement ()
 
.lang.Override com.google.ortools.sat.ElementConstraintProto getElement ()
 
.lang.Override com.google.ortools.sat.ElementConstraintProtoOrBuilder getElementOrBuilder ()
 
.lang.Override boolean hasCircuit ()
 
.lang.Override com.google.ortools.sat.CircuitConstraintProto getCircuit ()
 
.lang.Override com.google.ortools.sat.CircuitConstraintProtoOrBuilder getCircuitOrBuilder ()
 
.lang.Override boolean hasRoutes ()
 
.lang.Override com.google.ortools.sat.RoutesConstraintProto getRoutes ()
 
.lang.Override com.google.ortools.sat.RoutesConstraintProtoOrBuilder getRoutesOrBuilder ()
 
.lang.Override boolean hasTable ()
 
.lang.Override com.google.ortools.sat.TableConstraintProto getTable ()
 
.lang.Override com.google.ortools.sat.TableConstraintProtoOrBuilder getTableOrBuilder ()
 
.lang.Override boolean hasAutomaton ()
 
.lang.Override com.google.ortools.sat.AutomatonConstraintProto getAutomaton ()
 
.lang.Override com.google.ortools.sat.AutomatonConstraintProtoOrBuilder getAutomatonOrBuilder ()
 
.lang.Override boolean hasInverse ()
 
.lang.Override com.google.ortools.sat.InverseConstraintProto getInverse ()
 
.lang.Override com.google.ortools.sat.InverseConstraintProtoOrBuilder getInverseOrBuilder ()
 
.lang.Override boolean hasReservoir ()
 
.lang.Override com.google.ortools.sat.ReservoirConstraintProto getReservoir ()
 
.lang.Override com.google.ortools.sat.ReservoirConstraintProtoOrBuilder getReservoirOrBuilder ()
 
.lang.Override boolean hasInterval ()
 
.lang.Override com.google.ortools.sat.IntervalConstraintProto getInterval ()
 
.lang.Override com.google.ortools.sat.IntervalConstraintProtoOrBuilder getIntervalOrBuilder ()
 
.lang.Override boolean hasNoOverlap ()
 
.lang.Override com.google.ortools.sat.NoOverlapConstraintProto getNoOverlap ()
 
.lang.Override com.google.ortools.sat.NoOverlapConstraintProtoOrBuilder getNoOverlapOrBuilder ()
 
.lang.Override boolean hasNoOverlap2D ()
 
.lang.Override com.google.ortools.sat.NoOverlap2DConstraintProto getNoOverlap2D ()
 
.lang.Override com.google.ortools.sat.NoOverlap2DConstraintProtoOrBuilder getNoOverlap2DOrBuilder ()
 
.lang.Override boolean hasCumulative ()
 
.lang.Override com.google.ortools.sat.CumulativeConstraintProto getCumulative ()
 
.lang.Override com.google.ortools.sat.CumulativeConstraintProtoOrBuilder getCumulativeOrBuilder ()
 
.lang.Override final boolean isInitialized ()
 
.lang.Override void writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
 
.lang.Override int getSerializedSize ()
 
.lang.Override boolean equals (final java.lang.Object obj)
 
.lang.Override int hashCode ()
 
.lang.Override Builder newBuilderForType ()
 
.lang.Override Builder toBuilder ()
 
.lang.Override com.google.protobuf.Parser< ConstraintProtogetParserForType ()
 
.lang.Override com.google.ortools.sat.ConstraintProto getDefaultInstanceForType ()
 

Static Public Member Functions

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ()
 
static com.google.ortools.sat.ConstraintProto parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.ConstraintProto parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.ConstraintProto parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.ConstraintProto parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.ConstraintProto parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.ConstraintProto parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.ConstraintProto parseFrom (java.io.InputStream input) throws java.io.IOException
 
static com.google.ortools.sat.ConstraintProto parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static com.google.ortools.sat.ConstraintProto parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
 
static com.google.ortools.sat.ConstraintProto parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static com.google.ortools.sat.ConstraintProto parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
 
static com.google.ortools.sat.ConstraintProto parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static Builder newBuilder ()
 
static Builder newBuilder (com.google.ortools.sat.ConstraintProto prototype)
 
static com.google.ortools.sat.ConstraintProto getDefaultInstance ()
 
static com.google.protobuf.Parser< ConstraintProtoparser ()
 

Static Public Attributes

static final int NAME_FIELD_NUMBER = 1
 
static final int ENFORCEMENT_LITERAL_FIELD_NUMBER = 2
 
static final int BOOL_OR_FIELD_NUMBER = 3
 
static final int BOOL_AND_FIELD_NUMBER = 4
 
static final int AT_MOST_ONE_FIELD_NUMBER = 26
 
static final int EXACTLY_ONE_FIELD_NUMBER = 29
 
static final int BOOL_XOR_FIELD_NUMBER = 5
 
static final int INT_DIV_FIELD_NUMBER = 7
 
static final int INT_MOD_FIELD_NUMBER = 8
 
static final int INT_MAX_FIELD_NUMBER = 9
 
static final int LIN_MAX_FIELD_NUMBER = 27
 
static final int INT_MIN_FIELD_NUMBER = 10
 
static final int LIN_MIN_FIELD_NUMBER = 28
 
static final int INT_PROD_FIELD_NUMBER = 11
 
static final int LINEAR_FIELD_NUMBER = 12
 
static final int ALL_DIFF_FIELD_NUMBER = 13
 
static final int ELEMENT_FIELD_NUMBER = 14
 
static final int CIRCUIT_FIELD_NUMBER = 15
 
static final int ROUTES_FIELD_NUMBER = 23
 
static final int TABLE_FIELD_NUMBER = 16
 
static final int AUTOMATON_FIELD_NUMBER = 17
 
static final int INVERSE_FIELD_NUMBER = 18
 
static final int RESERVOIR_FIELD_NUMBER = 24
 
static final int INTERVAL_FIELD_NUMBER = 19
 
static final int NO_OVERLAP_FIELD_NUMBER = 20
 
static final int NO_OVERLAP_2D_FIELD_NUMBER = 21
 
static final int CUMULATIVE_FIELD_NUMBER = 22
 

Protected Member Functions

.lang.Override java.lang.Object newInstance (UnusedPrivateParameter unused)
 
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ()
 
.lang.Override Builder newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
 

Member Function Documentation

◆ equals()

.lang.Override boolean equals ( final java.lang.Object  obj)

Definition at line 2097 of file ConstraintProto.java.

◆ getAllDiff()

The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Returns
The allDiff.

Implements ConstraintProtoOrBuilder.

Definition at line 1335 of file ConstraintProto.java.

◆ getAllDiffOrBuilder()

.lang.Override com.google.ortools.sat.AllDifferentConstraintProtoOrBuilder getAllDiffOrBuilder ( )
The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Implements ConstraintProtoOrBuilder.

Definition at line 1349 of file ConstraintProto.java.

◆ getAtMostOne()

.lang.Override com.google.ortools.sat.BoolArgumentProto getAtMostOne ( )
The at_most_one constraint enforces that no more than one literal is
true at the same time.
Note that an at most one constraint of length n could be encoded with n
bool_and constraint with n-1 term on the right hand side. So in a sense,
this constraint contribute directly to the "implication-graph" or the
2-SAT part of the model.
This constraint does not support enforcement_literal. Just use a linear
constraint if you need to enforce it. You also do not need to use it
directly, we will extract it from the model in most situations.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Returns
The atMostOne.

Implements ConstraintProtoOrBuilder.

Definition at line 809 of file ConstraintProto.java.

◆ getAtMostOneOrBuilder()

.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getAtMostOneOrBuilder ( )
The at_most_one constraint enforces that no more than one literal is
true at the same time.
Note that an at most one constraint of length n could be encoded with n
bool_and constraint with n-1 term on the right hand side. So in a sense,
this constraint contribute directly to the "implication-graph" or the
2-SAT part of the model.
This constraint does not support enforcement_literal. Just use a linear
constraint if you need to enforce it. You also do not need to use it
directly, we will extract it from the model in most situations.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Implements ConstraintProtoOrBuilder.

Definition at line 831 of file ConstraintProto.java.

◆ getAutomaton()

.lang.Override com.google.ortools.sat.AutomatonConstraintProto getAutomaton ( )
The automaton constraint forces a sequence of variables to be accepted
by an automaton.

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Returns
The automaton.

Implements ConstraintProtoOrBuilder.

Definition at line 1561 of file ConstraintProto.java.

◆ getAutomatonOrBuilder()

.lang.Override com.google.ortools.sat.AutomatonConstraintProtoOrBuilder getAutomatonOrBuilder ( )
The automaton constraint forces a sequence of variables to be accepted
by an automaton.

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Implements ConstraintProtoOrBuilder.

Definition at line 1576 of file ConstraintProto.java.

◆ getBoolAnd()

.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolAnd ( )
The bool_and constraint forces all of the literals to be true.
This is a "redundant" constraint in the sense that this can easily be
encoded with many bool_or or at_most_one. It is just more space efficient
and handled slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Returns
The boolAnd.

Implements ConstraintProtoOrBuilder.

Definition at line 747 of file ConstraintProto.java.

◆ getBoolAndOrBuilder()

.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolAndOrBuilder ( )
The bool_and constraint forces all of the literals to be true.
This is a "redundant" constraint in the sense that this can easily be
encoded with many bool_or or at_most_one. It is just more space efficient
and handled slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Implements ConstraintProtoOrBuilder.

Definition at line 764 of file ConstraintProto.java.

◆ getBoolOr()

.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolOr ( )
The bool_or constraint forces at least one literal to be true.

.operations_research.sat.BoolArgumentProto bool_or = 3;

Returns
The boolOr.

Implements ConstraintProtoOrBuilder.

Definition at line 698 of file ConstraintProto.java.

◆ getBoolOrOrBuilder()

.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolOrOrBuilder ( )
The bool_or constraint forces at least one literal to be true.

.operations_research.sat.BoolArgumentProto bool_or = 3;

Implements ConstraintProtoOrBuilder.

Definition at line 712 of file ConstraintProto.java.

◆ getBoolXor()

.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolXor ( )
The bool_xor constraint forces an odd number of the literals to be true.

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Returns
The boolXor.

Implements ConstraintProtoOrBuilder.

Definition at line 930 of file ConstraintProto.java.

◆ getBoolXorOrBuilder()

.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolXorOrBuilder ( )
The bool_xor constraint forces an odd number of the literals to be true.

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Implements ConstraintProtoOrBuilder.

Definition at line 944 of file ConstraintProto.java.

◆ getCircuit()

.lang.Override com.google.ortools.sat.CircuitConstraintProto getCircuit ( )
The circuit constraint takes a graph and forces the arcs present
(with arc presence indicated by a literal) to form a unique cycle.

.operations_research.sat.CircuitConstraintProto circuit = 15;

Returns
The circuit.

Implements ConstraintProtoOrBuilder.

Definition at line 1426 of file ConstraintProto.java.

◆ getCircuitOrBuilder()

.lang.Override com.google.ortools.sat.CircuitConstraintProtoOrBuilder getCircuitOrBuilder ( )
The circuit constraint takes a graph and forces the arcs present
(with arc presence indicated by a literal) to form a unique cycle.

.operations_research.sat.CircuitConstraintProto circuit = 15;

Implements ConstraintProtoOrBuilder.

Definition at line 1441 of file ConstraintProto.java.

◆ getConstraintCase()

ConstraintCase getConstraintCase ( )

Implements ConstraintProtoOrBuilder.

Definition at line 552 of file ConstraintProto.java.

◆ getCumulative()

.lang.Override com.google.ortools.sat.CumulativeConstraintProto getCumulative ( )
The cumulative constraint ensures that for any integer point, the sum
of the demands of the intervals containing that point does not exceed
the capacity.

.operations_research.sat.CumulativeConstraintProto cumulative = 22;

Returns
The cumulative.

Implements ConstraintProtoOrBuilder.

Definition at line 1842 of file ConstraintProto.java.

◆ getCumulativeOrBuilder()

.lang.Override com.google.ortools.sat.CumulativeConstraintProtoOrBuilder getCumulativeOrBuilder ( )
The cumulative constraint ensures that for any integer point, the sum
of the demands of the intervals containing that point does not exceed
the capacity.

.operations_research.sat.CumulativeConstraintProto cumulative = 22;

Implements ConstraintProtoOrBuilder.

Definition at line 1858 of file ConstraintProto.java.

◆ getDefaultInstance()

static com.google.ortools.sat.ConstraintProto getDefaultInstance ( )
static

Definition at line 7968 of file ConstraintProto.java.

◆ getDefaultInstanceForType()

.lang.Override com.google.ortools.sat.ConstraintProto getDefaultInstanceForType ( )

Definition at line 7993 of file ConstraintProto.java.

◆ getDescriptor()

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ( )
static

Definition at line 458 of file ConstraintProto.java.

◆ getElement()

.lang.Override com.google.ortools.sat.ElementConstraintProto getElement ( )
The element constraint forces the variable with the given index
to be equal to the target.

.operations_research.sat.ElementConstraintProto element = 14;

Returns
The element.

Implements ConstraintProtoOrBuilder.

Definition at line 1380 of file ConstraintProto.java.

◆ getElementOrBuilder()

.lang.Override com.google.ortools.sat.ElementConstraintProtoOrBuilder getElementOrBuilder ( )
The element constraint forces the variable with the given index
to be equal to the target.

.operations_research.sat.ElementConstraintProto element = 14;

Implements ConstraintProtoOrBuilder.

Definition at line 1395 of file ConstraintProto.java.

◆ getEnforcementLiteral()

int getEnforcementLiteral ( int  index)
The constraint will be enforced iff all literals listed here are true. If
this is empty, then the constraint will always be enforced. An enforced
constraint must be satisfied, and an un-enforced one will simply be
ignored.
This is also called half-reification. To have an equivalence between a
literal and a constraint (full reification), one must add both a constraint
(controlled by a literal l) and its negation (controlled by the negation of
l).
Important: as of September 2018, only a few constraint support enforcement:
  • bool_or, bool_and, linear: fully supported.
  • interval: only support a single enforcement literal.
  • other: no support (but can be added on a per-demand basis).
repeated int32 enforcement_literal = 2;
Parameters
indexThe index of the element to return.
Returns
The enforcementLiteral at the given index.

Implements ConstraintProtoOrBuilder.

Definition at line 671 of file ConstraintProto.java.

◆ getEnforcementLiteralCount()

int getEnforcementLiteralCount ( )
The constraint will be enforced iff all literals listed here are true. If
this is empty, then the constraint will always be enforced. An enforced
constraint must be satisfied, and an un-enforced one will simply be
ignored.
This is also called half-reification. To have an equivalence between a
literal and a constraint (full reification), one must add both a constraint
(controlled by a literal l) and its negation (controlled by the negation of
l).
Important: as of September 2018, only a few constraint support enforcement:
  • bool_or, bool_and, linear: fully supported.
  • interval: only support a single enforcement literal.
  • other: no support (but can be added on a per-demand basis).
repeated int32 enforcement_literal = 2;
Returns
The count of enforcementLiteral.

Implements ConstraintProtoOrBuilder.

Definition at line 648 of file ConstraintProto.java.

◆ getEnforcementLiteralList()

.lang.Override java.util.List<java.lang.Integer> getEnforcementLiteralList ( )
The constraint will be enforced iff all literals listed here are true. If
this is empty, then the constraint will always be enforced. An enforced
constraint must be satisfied, and an un-enforced one will simply be
ignored.
This is also called half-reification. To have an equivalence between a
literal and a constraint (full reification), one must add both a constraint
(controlled by a literal l) and its negation (controlled by the negation of
l).
Important: as of September 2018, only a few constraint support enforcement:
  • bool_or, bool_and, linear: fully supported.
  • interval: only support a single enforcement literal.
  • other: no support (but can be added on a per-demand basis).
repeated int32 enforcement_literal = 2;
Returns
A list containing the enforcementLiteral.

Implements ConstraintProtoOrBuilder.

Definition at line 626 of file ConstraintProto.java.

◆ getExactlyOne()

.lang.Override com.google.ortools.sat.BoolArgumentProto getExactlyOne ( )
The exactly_one constraint force exactly one literal to true and no more.
Anytime a bool_or (it could have been called at_least_one) is included
into an at_most_one, then the bool_or is actually an exactly one
constraint, and the extra literal in the at_most_one can be set to false.
So in this sense, this constraint is not really needed. it is just here
for a better description of the problem structure and to facilitate some
algorithm.
This constraint does not support enforcement_literal. Just use a linear
constraint if you need to enforce it. You also do not need to use it
directly, we will extract it from the model in most situations.

.operations_research.sat.BoolArgumentProto exactly_one = 29;

Returns
The exactlyOne.

Implements ConstraintProtoOrBuilder.

Definition at line 878 of file ConstraintProto.java.

◆ getExactlyOneOrBuilder()

.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getExactlyOneOrBuilder ( )
The exactly_one constraint force exactly one literal to true and no more.
Anytime a bool_or (it could have been called at_least_one) is included
into an at_most_one, then the bool_or is actually an exactly one
constraint, and the extra literal in the at_most_one can be set to false.
So in this sense, this constraint is not really needed. it is just here
for a better description of the problem structure and to facilitate some
algorithm.
This constraint does not support enforcement_literal. Just use a linear
constraint if you need to enforce it. You also do not need to use it
directly, we will extract it from the model in most situations.

.operations_research.sat.BoolArgumentProto exactly_one = 29;

Implements ConstraintProtoOrBuilder.

Definition at line 901 of file ConstraintProto.java.

◆ getIntDiv()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntDiv ( )
The int_div constraint forces the target to equal vars[0] / vars[1].
In particular, vars[1] can never take the value 0.

.operations_research.sat.IntegerArgumentProto int_div = 7;

Returns
The intDiv.

Implements ConstraintProtoOrBuilder.

Definition at line 975 of file ConstraintProto.java.

◆ getIntDivOrBuilder()

.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntDivOrBuilder ( )
The int_div constraint forces the target to equal vars[0] / vars[1].
In particular, vars[1] can never take the value 0.

.operations_research.sat.IntegerArgumentProto int_div = 7;

Implements ConstraintProtoOrBuilder.

Definition at line 990 of file ConstraintProto.java.

◆ getInterval()

.lang.Override com.google.ortools.sat.IntervalConstraintProto getInterval ( )
The interval constraint takes a start, end, and size, and forces
start + size == end.

.operations_research.sat.IntervalConstraintProto interval = 19;

Returns
The interval.

Implements ConstraintProtoOrBuilder.

Definition at line 1702 of file ConstraintProto.java.

◆ getIntervalOrBuilder()

.lang.Override com.google.ortools.sat.IntervalConstraintProtoOrBuilder getIntervalOrBuilder ( )
The interval constraint takes a start, end, and size, and forces
start + size == end.

.operations_research.sat.IntervalConstraintProto interval = 19;

Implements ConstraintProtoOrBuilder.

Definition at line 1717 of file ConstraintProto.java.

◆ getIntMax()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMax ( )
The int_max constraint forces the target to equal the maximum of all
variables.
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
TODO(user): Remove int_max in favor of lin_max.

.operations_research.sat.IntegerArgumentProto int_max = 9;

Returns
The intMax.

Implements ConstraintProtoOrBuilder.

Definition at line 1073 of file ConstraintProto.java.

◆ getIntMaxOrBuilder()

.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntMaxOrBuilder ( )
The int_max constraint forces the target to equal the maximum of all
variables.
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
TODO(user): Remove int_max in favor of lin_max.

.operations_research.sat.IntegerArgumentProto int_max = 9;

Implements ConstraintProtoOrBuilder.

Definition at line 1091 of file ConstraintProto.java.

◆ getIntMin()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMin ( )
The int_min constraint forces the target to equal the minimum of all
variables.
The lin_min constraint forces the target to equal the minimum of all
linear expressions.
TODO(user): Remove int_min in favor of lin_min.

.operations_research.sat.IntegerArgumentProto int_min = 10;

Returns
The intMin.

Implements ConstraintProtoOrBuilder.

Definition at line 1159 of file ConstraintProto.java.

◆ getIntMinOrBuilder()

.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntMinOrBuilder ( )
The int_min constraint forces the target to equal the minimum of all
variables.
The lin_min constraint forces the target to equal the minimum of all
linear expressions.
TODO(user): Remove int_min in favor of lin_min.

.operations_research.sat.IntegerArgumentProto int_min = 10;

Implements ConstraintProtoOrBuilder.

Definition at line 1177 of file ConstraintProto.java.

◆ getIntMod()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMod ( )
The int_mod constraint forces the target to equal vars[0] % vars[1].
The domain of vars[1] must be strictly positive.

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Returns
The intMod.

Implements ConstraintProtoOrBuilder.

Definition at line 1021 of file ConstraintProto.java.

◆ getIntModOrBuilder()

.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntModOrBuilder ( )
The int_mod constraint forces the target to equal vars[0] % vars[1].
The domain of vars[1] must be strictly positive.

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Implements ConstraintProtoOrBuilder.

Definition at line 1036 of file ConstraintProto.java.

◆ getIntProd()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntProd ( )
The int_prod constraint forces the target to equal the product of all
variables. By convention, because we can just remove term equal to one,
the empty product forces the target to be one.
TODO(user): Support more than two terms in the product.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Returns
The intProd.

Implements ConstraintProtoOrBuilder.

Definition at line 1243 of file ConstraintProto.java.

◆ getIntProdOrBuilder()

.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntProdOrBuilder ( )
The int_prod constraint forces the target to equal the product of all
variables. By convention, because we can just remove term equal to one,
the empty product forces the target to be one.
TODO(user): Support more than two terms in the product.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Implements ConstraintProtoOrBuilder.

Definition at line 1260 of file ConstraintProto.java.

◆ getInverse()

.lang.Override com.google.ortools.sat.InverseConstraintProto getInverse ( )
The inverse constraint forces two arrays to be inverses of each other:
the values of one are the indices of the other, and vice versa.

.operations_research.sat.InverseConstraintProto inverse = 18;

Returns
The inverse.

Implements ConstraintProtoOrBuilder.

Definition at line 1607 of file ConstraintProto.java.

◆ getInverseOrBuilder()

.lang.Override com.google.ortools.sat.InverseConstraintProtoOrBuilder getInverseOrBuilder ( )
The inverse constraint forces two arrays to be inverses of each other:
the values of one are the indices of the other, and vice versa.

.operations_research.sat.InverseConstraintProto inverse = 18;

Implements ConstraintProtoOrBuilder.

Definition at line 1622 of file ConstraintProto.java.

◆ getLinear()

.lang.Override com.google.ortools.sat.LinearConstraintProto getLinear ( )
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.

.operations_research.sat.LinearConstraintProto linear = 12;

Returns
The linear.

Implements ConstraintProtoOrBuilder.

Definition at line 1291 of file ConstraintProto.java.

◆ getLinearOrBuilder()

.lang.Override com.google.ortools.sat.LinearConstraintProtoOrBuilder getLinearOrBuilder ( )
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.

.operations_research.sat.LinearConstraintProto linear = 12;

Implements ConstraintProtoOrBuilder.

Definition at line 1306 of file ConstraintProto.java.

◆ getLinMax()

.lang.Override com.google.ortools.sat.LinearArgumentProto getLinMax ( )

.operations_research.sat.LinearArgumentProto lin_max = 27;

Returns
The linMax.

Implements ConstraintProtoOrBuilder.

Definition at line 1112 of file ConstraintProto.java.

◆ getLinMaxOrBuilder()

.lang.Override com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMaxOrBuilder ( )

.operations_research.sat.LinearArgumentProto lin_max = 27;

Implements ConstraintProtoOrBuilder.

Definition at line 1122 of file ConstraintProto.java.

◆ getLinMin()

.lang.Override com.google.ortools.sat.LinearArgumentProto getLinMin ( )

.operations_research.sat.LinearArgumentProto lin_min = 28;

Returns
The linMin.

Implements ConstraintProtoOrBuilder.

Definition at line 1198 of file ConstraintProto.java.

◆ getLinMinOrBuilder()

.lang.Override com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMinOrBuilder ( )

.operations_research.sat.LinearArgumentProto lin_min = 28;

Implements ConstraintProtoOrBuilder.

Definition at line 1208 of file ConstraintProto.java.

◆ getName()

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

string name = 1;

Returns
The name.

Implements ConstraintProtoOrBuilder.

Definition at line 568 of file ConstraintProto.java.

◆ getNameBytes()

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

string name = 1;

Returns
The bytes for name.

Implements ConstraintProtoOrBuilder.

Definition at line 590 of file ConstraintProto.java.

◆ getNoOverlap()

.lang.Override com.google.ortools.sat.NoOverlapConstraintProto getNoOverlap ( )
The no_overlap constraint prevents a set of intervals from
overlapping; in scheduling, this is called a disjunctive
constraint.

.operations_research.sat.NoOverlapConstraintProto no_overlap = 20;

Returns
The noOverlap.

Implements ConstraintProtoOrBuilder.

Definition at line 1750 of file ConstraintProto.java.

◆ getNoOverlap2D()

.lang.Override com.google.ortools.sat.NoOverlap2DConstraintProto getNoOverlap2D ( )
The no_overlap_2d constraint prevents a set of boxes from overlapping.

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Returns
The noOverlap2d.

Implements ConstraintProtoOrBuilder.

Definition at line 1795 of file ConstraintProto.java.

◆ getNoOverlap2DOrBuilder()

.lang.Override com.google.ortools.sat.NoOverlap2DConstraintProtoOrBuilder getNoOverlap2DOrBuilder ( )
The no_overlap_2d constraint prevents a set of boxes from overlapping.

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Implements ConstraintProtoOrBuilder.

Definition at line 1809 of file ConstraintProto.java.

◆ getNoOverlapOrBuilder()

.lang.Override com.google.ortools.sat.NoOverlapConstraintProtoOrBuilder getNoOverlapOrBuilder ( )
The no_overlap constraint prevents a set of intervals from
overlapping; in scheduling, this is called a disjunctive
constraint.

.operations_research.sat.NoOverlapConstraintProto no_overlap = 20;

Implements ConstraintProtoOrBuilder.

Definition at line 1766 of file ConstraintProto.java.

◆ getParserForType()

.lang.Override com.google.protobuf.Parser<ConstraintProto> getParserForType ( )

Definition at line 7988 of file ConstraintProto.java.

◆ getReservoir()

.lang.Override com.google.ortools.sat.ReservoirConstraintProto getReservoir ( )
The reservoir constraint forces the sum of a set of active demands
to always be between a specified minimum and maximum value during
specific times.

.operations_research.sat.ReservoirConstraintProto reservoir = 24;

Returns
The reservoir.

Implements ConstraintProtoOrBuilder.

Definition at line 1655 of file ConstraintProto.java.

◆ getReservoirOrBuilder()

.lang.Override com.google.ortools.sat.ReservoirConstraintProtoOrBuilder getReservoirOrBuilder ( )
The reservoir constraint forces the sum of a set of active demands
to always be between a specified minimum and maximum value during
specific times.

.operations_research.sat.ReservoirConstraintProto reservoir = 24;

Implements ConstraintProtoOrBuilder.

Definition at line 1671 of file ConstraintProto.java.

◆ getRoutes()

.lang.Override com.google.ortools.sat.RoutesConstraintProto getRoutes ( )
The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Returns
The routes.

Implements ConstraintProtoOrBuilder.

Definition at line 1470 of file ConstraintProto.java.

◆ getRoutesOrBuilder()

.lang.Override com.google.ortools.sat.RoutesConstraintProtoOrBuilder getRoutesOrBuilder ( )
The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Implements ConstraintProtoOrBuilder.

Definition at line 1484 of file ConstraintProto.java.

◆ getSerializedSize()

.lang.Override int getSerializedSize ( )

Definition at line 1969 of file ConstraintProto.java.

◆ getTable()

.lang.Override com.google.ortools.sat.TableConstraintProto getTable ( )
The table constraint enforces what values a tuple of variables may
take.

.operations_research.sat.TableConstraintProto table = 16;

Returns
The table.

Implements ConstraintProtoOrBuilder.

Definition at line 1515 of file ConstraintProto.java.

◆ getTableOrBuilder()

.lang.Override com.google.ortools.sat.TableConstraintProtoOrBuilder getTableOrBuilder ( )
The table constraint enforces what values a tuple of variables may
take.

.operations_research.sat.TableConstraintProto table = 16;

Implements ConstraintProtoOrBuilder.

Definition at line 1530 of file ConstraintProto.java.

◆ getUnknownFields()

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields ( )

Definition at line 36 of file ConstraintProto.java.

◆ hasAllDiff()

.lang.Override boolean hasAllDiff ( )
The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Returns
Whether the allDiff field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1323 of file ConstraintProto.java.

◆ hasAtMostOne()

.lang.Override boolean hasAtMostOne ( )
The at_most_one constraint enforces that no more than one literal is
true at the same time.
Note that an at most one constraint of length n could be encoded with n
bool_and constraint with n-1 term on the right hand side. So in a sense,
this constraint contribute directly to the "implication-graph" or the
2-SAT part of the model.
This constraint does not support enforcement_literal. Just use a linear
constraint if you need to enforce it. You also do not need to use it
directly, we will extract it from the model in most situations.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Returns
Whether the atMostOne field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 789 of file ConstraintProto.java.

◆ hasAutomaton()

.lang.Override boolean hasAutomaton ( )
The automaton constraint forces a sequence of variables to be accepted
by an automaton.

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Returns
Whether the automaton field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1548 of file ConstraintProto.java.

◆ hasBoolAnd()

.lang.Override boolean hasBoolAnd ( )
The bool_and constraint forces all of the literals to be true.
This is a "redundant" constraint in the sense that this can easily be
encoded with many bool_or or at_most_one. It is just more space efficient
and handled slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Returns
Whether the boolAnd field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 732 of file ConstraintProto.java.

◆ hasBoolOr()

.lang.Override boolean hasBoolOr ( )
The bool_or constraint forces at least one literal to be true.

.operations_research.sat.BoolArgumentProto bool_or = 3;

Returns
Whether the boolOr field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 686 of file ConstraintProto.java.

◆ hasBoolXor()

.lang.Override boolean hasBoolXor ( )
The bool_xor constraint forces an odd number of the literals to be true.

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Returns
Whether the boolXor field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 918 of file ConstraintProto.java.

◆ hasCircuit()

.lang.Override boolean hasCircuit ( )
The circuit constraint takes a graph and forces the arcs present
(with arc presence indicated by a literal) to form a unique cycle.

.operations_research.sat.CircuitConstraintProto circuit = 15;

Returns
Whether the circuit field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1413 of file ConstraintProto.java.

◆ hasCumulative()

.lang.Override boolean hasCumulative ( )
The cumulative constraint ensures that for any integer point, the sum
of the demands of the intervals containing that point does not exceed
the capacity.

.operations_research.sat.CumulativeConstraintProto cumulative = 22;

Returns
Whether the cumulative field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1828 of file ConstraintProto.java.

◆ hasElement()

.lang.Override boolean hasElement ( )
The element constraint forces the variable with the given index
to be equal to the target.

.operations_research.sat.ElementConstraintProto element = 14;

Returns
Whether the element field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1367 of file ConstraintProto.java.

◆ hasExactlyOne()

.lang.Override boolean hasExactlyOne ( )
The exactly_one constraint force exactly one literal to true and no more.
Anytime a bool_or (it could have been called at_least_one) is included
into an at_most_one, then the bool_or is actually an exactly one
constraint, and the extra literal in the at_most_one can be set to false.
So in this sense, this constraint is not really needed. it is just here
for a better description of the problem structure and to facilitate some
algorithm.
This constraint does not support enforcement_literal. Just use a linear
constraint if you need to enforce it. You also do not need to use it
directly, we will extract it from the model in most situations.

.operations_research.sat.BoolArgumentProto exactly_one = 29;

Returns
Whether the exactlyOne field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 857 of file ConstraintProto.java.

◆ hashCode()

.lang.Override int hashCode ( )

Definition at line 2220 of file ConstraintProto.java.

◆ hasIntDiv()

.lang.Override boolean hasIntDiv ( )
The int_div constraint forces the target to equal vars[0] / vars[1].
In particular, vars[1] can never take the value 0.

.operations_research.sat.IntegerArgumentProto int_div = 7;

Returns
Whether the intDiv field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 962 of file ConstraintProto.java.

◆ hasInterval()

.lang.Override boolean hasInterval ( )
The interval constraint takes a start, end, and size, and forces
start + size == end.

.operations_research.sat.IntervalConstraintProto interval = 19;

Returns
Whether the interval field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1689 of file ConstraintProto.java.

◆ hasIntMax()

.lang.Override boolean hasIntMax ( )
The int_max constraint forces the target to equal the maximum of all
variables.
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
TODO(user): Remove int_max in favor of lin_max.

.operations_research.sat.IntegerArgumentProto int_max = 9;

Returns
Whether the intMax field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1057 of file ConstraintProto.java.

◆ hasIntMin()

.lang.Override boolean hasIntMin ( )
The int_min constraint forces the target to equal the minimum of all
variables.
The lin_min constraint forces the target to equal the minimum of all
linear expressions.
TODO(user): Remove int_min in favor of lin_min.

.operations_research.sat.IntegerArgumentProto int_min = 10;

Returns
Whether the intMin field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1143 of file ConstraintProto.java.

◆ hasIntMod()

.lang.Override boolean hasIntMod ( )
The int_mod constraint forces the target to equal vars[0] % vars[1].
The domain of vars[1] must be strictly positive.

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Returns
Whether the intMod field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1008 of file ConstraintProto.java.

◆ hasIntProd()

.lang.Override boolean hasIntProd ( )
The int_prod constraint forces the target to equal the product of all
variables. By convention, because we can just remove term equal to one,
the empty product forces the target to be one.
TODO(user): Support more than two terms in the product.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Returns
Whether the intProd field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1228 of file ConstraintProto.java.

◆ hasInverse()

.lang.Override boolean hasInverse ( )
The inverse constraint forces two arrays to be inverses of each other:
the values of one are the indices of the other, and vice versa.

.operations_research.sat.InverseConstraintProto inverse = 18;

Returns
Whether the inverse field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1594 of file ConstraintProto.java.

◆ hasLinear()

.lang.Override boolean hasLinear ( )
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.

.operations_research.sat.LinearConstraintProto linear = 12;

Returns
Whether the linear field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1278 of file ConstraintProto.java.

◆ hasLinMax()

.lang.Override boolean hasLinMax ( )

.operations_research.sat.LinearArgumentProto lin_max = 27;

Returns
Whether the linMax field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1104 of file ConstraintProto.java.

◆ hasLinMin()

.lang.Override boolean hasLinMin ( )

.operations_research.sat.LinearArgumentProto lin_min = 28;

Returns
Whether the linMin field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1190 of file ConstraintProto.java.

◆ hasNoOverlap()

.lang.Override boolean hasNoOverlap ( )
The no_overlap constraint prevents a set of intervals from
overlapping; in scheduling, this is called a disjunctive
constraint.

.operations_research.sat.NoOverlapConstraintProto no_overlap = 20;

Returns
Whether the noOverlap field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1736 of file ConstraintProto.java.

◆ hasNoOverlap2D()

.lang.Override boolean hasNoOverlap2D ( )
The no_overlap_2d constraint prevents a set of boxes from overlapping.

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Returns
Whether the noOverlap2d field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1783 of file ConstraintProto.java.

◆ hasReservoir()

.lang.Override boolean hasReservoir ( )
The reservoir constraint forces the sum of a set of active demands
to always be between a specified minimum and maximum value during
specific times.

.operations_research.sat.ReservoirConstraintProto reservoir = 24;

Returns
Whether the reservoir field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1641 of file ConstraintProto.java.

◆ hasRoutes()

.lang.Override boolean hasRoutes ( )
The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Returns
Whether the routes field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1458 of file ConstraintProto.java.

◆ hasTable()

.lang.Override boolean hasTable ( )
The table constraint enforces what values a tuple of variables may
take.

.operations_research.sat.TableConstraintProto table = 16;

Returns
Whether the table field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 1502 of file ConstraintProto.java.

◆ internalGetFieldAccessorTable()

.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ( )
protected

Definition at line 464 of file ConstraintProto.java.

◆ isInitialized()

.lang.Override final boolean isInitialized ( )

Definition at line 1867 of file ConstraintProto.java.

◆ newBuilder() [1/2]

static Builder newBuilder ( )
static

Definition at line 2413 of file ConstraintProto.java.

◆ newBuilder() [2/2]

static Builder newBuilder ( com.google.ortools.sat.ConstraintProto  prototype)
static

Definition at line 2416 of file ConstraintProto.java.

◆ newBuilderForType() [1/2]

.lang.Override Builder newBuilderForType ( )

Definition at line 2412 of file ConstraintProto.java.

◆ newBuilderForType() [2/2]

.lang.Override Builder newBuilderForType ( com.google.protobuf.GeneratedMessageV3.BuilderParent  parent)
protected

Definition at line 2426 of file ConstraintProto.java.

◆ newInstance()

.lang.Override java.lang.Object newInstance ( UnusedPrivateParameter  unused)
protected

Definition at line 29 of file ConstraintProto.java.

◆ parseDelimitedFrom() [1/2]

static com.google.ortools.sat.ConstraintProto parseDelimitedFrom ( java.io.InputStream  input) throws java.io.IOException
static

Definition at line 2385 of file ConstraintProto.java.

◆ parseDelimitedFrom() [2/2]

static com.google.ortools.sat.ConstraintProto parseDelimitedFrom ( java.io.InputStream  input,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws java.io.IOException
static

Definition at line 2390 of file ConstraintProto.java.

◆ parseFrom() [1/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( byte[]  data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 2363 of file ConstraintProto.java.

◆ parseFrom() [2/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( byte[]  data,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 2367 of file ConstraintProto.java.

◆ parseFrom() [3/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( com.google.protobuf.ByteString  data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 2352 of file ConstraintProto.java.

◆ parseFrom() [4/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( com.google.protobuf.ByteString  data,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 2357 of file ConstraintProto.java.

◆ parseFrom() [5/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( com.google.protobuf.CodedInputStream  input) throws java.io.IOException
static

Definition at line 2397 of file ConstraintProto.java.

◆ parseFrom() [6/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( com.google.protobuf.CodedInputStream  input,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws java.io.IOException
static

Definition at line 2403 of file ConstraintProto.java.

◆ parseFrom() [7/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( java.io.InputStream  input) throws java.io.IOException
static

Definition at line 2373 of file ConstraintProto.java.

◆ parseFrom() [8/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( java.io.InputStream  input,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws java.io.IOException
static

Definition at line 2378 of file ConstraintProto.java.

◆ parseFrom() [9/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( java.nio.ByteBuffer  data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 2341 of file ConstraintProto.java.

◆ parseFrom() [10/10]

static com.google.ortools.sat.ConstraintProto parseFrom ( java.nio.ByteBuffer  data,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 2346 of file ConstraintProto.java.

◆ parser()

static com.google.protobuf.Parser<ConstraintProto> parser ( )
static

Definition at line 7983 of file ConstraintProto.java.

◆ toBuilder()

.lang.Override Builder toBuilder ( )

Definition at line 2420 of file ConstraintProto.java.

◆ writeTo()

.lang.Override void writeTo ( com.google.protobuf.CodedOutputStream  output) throws java.io.IOException

Definition at line 1877 of file ConstraintProto.java.

Member Data Documentation

◆ ALL_DIFF_FIELD_NUMBER

final int ALL_DIFF_FIELD_NUMBER = 13
static

Definition at line 1313 of file ConstraintProto.java.

◆ AT_MOST_ONE_FIELD_NUMBER

final int AT_MOST_ONE_FIELD_NUMBER = 26
static

Definition at line 771 of file ConstraintProto.java.

◆ AUTOMATON_FIELD_NUMBER

final int AUTOMATON_FIELD_NUMBER = 17
static

Definition at line 1537 of file ConstraintProto.java.

◆ BOOL_AND_FIELD_NUMBER

final int BOOL_AND_FIELD_NUMBER = 4
static

Definition at line 719 of file ConstraintProto.java.

◆ BOOL_OR_FIELD_NUMBER

final int BOOL_OR_FIELD_NUMBER = 3
static

Definition at line 676 of file ConstraintProto.java.

◆ BOOL_XOR_FIELD_NUMBER

final int BOOL_XOR_FIELD_NUMBER = 5
static

Definition at line 908 of file ConstraintProto.java.

◆ CIRCUIT_FIELD_NUMBER

final int CIRCUIT_FIELD_NUMBER = 15
static

Definition at line 1402 of file ConstraintProto.java.

◆ CUMULATIVE_FIELD_NUMBER

final int CUMULATIVE_FIELD_NUMBER = 22
static

Definition at line 1816 of file ConstraintProto.java.

◆ ELEMENT_FIELD_NUMBER

final int ELEMENT_FIELD_NUMBER = 14
static

Definition at line 1356 of file ConstraintProto.java.

◆ ENFORCEMENT_LITERAL_FIELD_NUMBER

final int ENFORCEMENT_LITERAL_FIELD_NUMBER = 2
static

Definition at line 603 of file ConstraintProto.java.

◆ EXACTLY_ONE_FIELD_NUMBER

final int EXACTLY_ONE_FIELD_NUMBER = 29
static

Definition at line 838 of file ConstraintProto.java.

◆ INT_DIV_FIELD_NUMBER

final int INT_DIV_FIELD_NUMBER = 7
static

Definition at line 951 of file ConstraintProto.java.

◆ INT_MAX_FIELD_NUMBER

final int INT_MAX_FIELD_NUMBER = 9
static

Definition at line 1043 of file ConstraintProto.java.

◆ INT_MIN_FIELD_NUMBER

final int INT_MIN_FIELD_NUMBER = 10
static

Definition at line 1129 of file ConstraintProto.java.

◆ INT_MOD_FIELD_NUMBER

final int INT_MOD_FIELD_NUMBER = 8
static

Definition at line 997 of file ConstraintProto.java.

◆ INT_PROD_FIELD_NUMBER

final int INT_PROD_FIELD_NUMBER = 11
static

Definition at line 1215 of file ConstraintProto.java.

◆ INTERVAL_FIELD_NUMBER

final int INTERVAL_FIELD_NUMBER = 19
static

Definition at line 1678 of file ConstraintProto.java.

◆ INVERSE_FIELD_NUMBER

final int INVERSE_FIELD_NUMBER = 18
static

Definition at line 1583 of file ConstraintProto.java.

◆ LIN_MAX_FIELD_NUMBER

final int LIN_MAX_FIELD_NUMBER = 27
static

Definition at line 1098 of file ConstraintProto.java.

◆ LIN_MIN_FIELD_NUMBER

final int LIN_MIN_FIELD_NUMBER = 28
static

Definition at line 1184 of file ConstraintProto.java.

◆ LINEAR_FIELD_NUMBER

final int LINEAR_FIELD_NUMBER = 12
static

Definition at line 1267 of file ConstraintProto.java.

◆ NAME_FIELD_NUMBER

final int NAME_FIELD_NUMBER = 1
static

Definition at line 557 of file ConstraintProto.java.

◆ NO_OVERLAP_2D_FIELD_NUMBER

final int NO_OVERLAP_2D_FIELD_NUMBER = 21
static

Definition at line 1773 of file ConstraintProto.java.

◆ NO_OVERLAP_FIELD_NUMBER

final int NO_OVERLAP_FIELD_NUMBER = 20
static

Definition at line 1724 of file ConstraintProto.java.

◆ RESERVOIR_FIELD_NUMBER

final int RESERVOIR_FIELD_NUMBER = 24
static

Definition at line 1629 of file ConstraintProto.java.

◆ ROUTES_FIELD_NUMBER

final int ROUTES_FIELD_NUMBER = 23
static

Definition at line 1448 of file ConstraintProto.java.

◆ TABLE_FIELD_NUMBER

final int TABLE_FIELD_NUMBER = 16
static

Definition at line 1491 of file ConstraintProto.java.


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