Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.ConstraintProto Class Reference

Detailed Description

Next id: 31

Protobuf type operations_research.sat.ConstraintProto

Definition at line 16 of file ConstraintProto.java.

Inheritance diagram for com.google.ortools.sat.ConstraintProto:
com.google.ortools.sat.ConstraintProtoOrBuilder

Classes

class  Builder
enum  ConstraintCase

Public Member Functions

ConstraintCase getConstraintCase ()
java.lang.String getName ()
com.google.protobuf.ByteString getNameBytes ()
java.util.List< java.lang.Integer > getEnforcementLiteralList ()
int getEnforcementLiteralCount ()
int getEnforcementLiteral (int index)
boolean hasBoolOr ()
com.google.ortools.sat.BoolArgumentProto getBoolOr ()
com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolOrOrBuilder ()
boolean hasBoolAnd ()
com.google.ortools.sat.BoolArgumentProto getBoolAnd ()
com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolAndOrBuilder ()
boolean hasAtMostOne ()
com.google.ortools.sat.BoolArgumentProto getAtMostOne ()
com.google.ortools.sat.BoolArgumentProtoOrBuilder getAtMostOneOrBuilder ()
boolean hasExactlyOne ()
com.google.ortools.sat.BoolArgumentProto getExactlyOne ()
com.google.ortools.sat.BoolArgumentProtoOrBuilder getExactlyOneOrBuilder ()
boolean hasBoolXor ()
com.google.ortools.sat.BoolArgumentProto getBoolXor ()
com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolXorOrBuilder ()
boolean hasIntDiv ()
com.google.ortools.sat.LinearArgumentProto getIntDiv ()
com.google.ortools.sat.LinearArgumentProtoOrBuilder getIntDivOrBuilder ()
boolean hasIntMod ()
com.google.ortools.sat.LinearArgumentProto getIntMod ()
com.google.ortools.sat.LinearArgumentProtoOrBuilder getIntModOrBuilder ()
boolean hasIntProd ()
com.google.ortools.sat.LinearArgumentProto getIntProd ()
com.google.ortools.sat.LinearArgumentProtoOrBuilder getIntProdOrBuilder ()
boolean hasLinMax ()
com.google.ortools.sat.LinearArgumentProto getLinMax ()
com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMaxOrBuilder ()
boolean hasLinear ()
com.google.ortools.sat.LinearConstraintProto getLinear ()
com.google.ortools.sat.LinearConstraintProtoOrBuilder getLinearOrBuilder ()
boolean hasAllDiff ()
com.google.ortools.sat.AllDifferentConstraintProto getAllDiff ()
com.google.ortools.sat.AllDifferentConstraintProtoOrBuilder getAllDiffOrBuilder ()
boolean hasElement ()
com.google.ortools.sat.ElementConstraintProto getElement ()
com.google.ortools.sat.ElementConstraintProtoOrBuilder getElementOrBuilder ()
boolean hasCircuit ()
com.google.ortools.sat.CircuitConstraintProto getCircuit ()
com.google.ortools.sat.CircuitConstraintProtoOrBuilder getCircuitOrBuilder ()
boolean hasRoutes ()
com.google.ortools.sat.RoutesConstraintProto getRoutes ()
com.google.ortools.sat.RoutesConstraintProtoOrBuilder getRoutesOrBuilder ()
boolean hasTable ()
com.google.ortools.sat.TableConstraintProto getTable ()
com.google.ortools.sat.TableConstraintProtoOrBuilder getTableOrBuilder ()
boolean hasAutomaton ()
com.google.ortools.sat.AutomatonConstraintProto getAutomaton ()
com.google.ortools.sat.AutomatonConstraintProtoOrBuilder getAutomatonOrBuilder ()
boolean hasInverse ()
com.google.ortools.sat.InverseConstraintProto getInverse ()
com.google.ortools.sat.InverseConstraintProtoOrBuilder getInverseOrBuilder ()
boolean hasReservoir ()
com.google.ortools.sat.ReservoirConstraintProto getReservoir ()
com.google.ortools.sat.ReservoirConstraintProtoOrBuilder getReservoirOrBuilder ()
boolean hasInterval ()
com.google.ortools.sat.IntervalConstraintProto getInterval ()
com.google.ortools.sat.IntervalConstraintProtoOrBuilder getIntervalOrBuilder ()
boolean hasNoOverlap ()
com.google.ortools.sat.NoOverlapConstraintProto getNoOverlap ()
com.google.ortools.sat.NoOverlapConstraintProtoOrBuilder getNoOverlapOrBuilder ()
boolean hasNoOverlap2D ()
com.google.ortools.sat.NoOverlap2DConstraintProto getNoOverlap2D ()
com.google.ortools.sat.NoOverlap2DConstraintProtoOrBuilder getNoOverlap2DOrBuilder ()
boolean hasCumulative ()
com.google.ortools.sat.CumulativeConstraintProto getCumulative ()
com.google.ortools.sat.CumulativeConstraintProtoOrBuilder getCumulativeOrBuilder ()
boolean hasDummyConstraint ()
com.google.ortools.sat.ListOfVariablesProto getDummyConstraint ()
com.google.ortools.sat.ListOfVariablesProtoOrBuilder getDummyConstraintOrBuilder ()
final boolean isInitialized ()
void writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
int getSerializedSize ()
boolean equals (final java.lang.Object obj)
int hashCode ()
Builder newBuilderForType ()
Builder toBuilder ()
com.google.protobuf.Parser< ConstraintProtogetParserForType ()
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_PROD_FIELD_NUMBER = 11
static final int LIN_MAX_FIELD_NUMBER = 27
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
static final int DUMMY_CONSTRAINT_FIELD_NUMBER = 30

Protected Member Functions

com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable ()
Builder newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent)

Member Function Documentation

◆ equals()

boolean com.google.ortools.sat.ConstraintProto.equals ( final java.lang.Object obj)

Definition at line 1639 of file ConstraintProto.java.

◆ getAllDiff()

com.google.ortools.sat.AllDifferentConstraintProto com.google.ortools.sat.ConstraintProto.getAllDiff ( )
The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Returns
The allDiff.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 845 of file ConstraintProto.java.

◆ getAllDiffOrBuilder()

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

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 859 of file ConstraintProto.java.

◆ getAtMostOne()

com.google.ortools.sat.BoolArgumentProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 404 of file ConstraintProto.java.

◆ getAtMostOneOrBuilder()

com.google.ortools.sat.BoolArgumentProtoOrBuilder com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 428 of file ConstraintProto.java.

◆ getAutomaton()

com.google.ortools.sat.AutomatonConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1071 of file ConstraintProto.java.

◆ getAutomatonOrBuilder()

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

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1086 of file ConstraintProto.java.

◆ getBoolAnd()

com.google.ortools.sat.BoolArgumentProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 337 of file ConstraintProto.java.

◆ getBoolAndOrBuilder()

com.google.ortools.sat.BoolArgumentProtoOrBuilder com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 355 of file ConstraintProto.java.

◆ getBoolOr()

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

.operations_research.sat.BoolArgumentProto bool_or = 3;

Returns
The boolOr.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 286 of file ConstraintProto.java.

◆ getBoolOrOrBuilder()

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

.operations_research.sat.BoolArgumentProto bool_or = 3;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 300 of file ConstraintProto.java.

◆ getBoolXor()

com.google.ortools.sat.BoolArgumentProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 533 of file ConstraintProto.java.

◆ getBoolXorOrBuilder()

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

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 547 of file ConstraintProto.java.

◆ getCircuit()

com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 936 of file ConstraintProto.java.

◆ getCircuitOrBuilder()

com.google.ortools.sat.CircuitConstraintProtoOrBuilder com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 951 of file ConstraintProto.java.

◆ getConstraintCase()

ConstraintCase com.google.ortools.sat.ConstraintProto.getConstraintCase ( )

◆ getCumulative()

com.google.ortools.sat.CumulativeConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1352 of file ConstraintProto.java.

◆ getCumulativeOrBuilder()

com.google.ortools.sat.CumulativeConstraintProtoOrBuilder com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1368 of file ConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 7477 of file ConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 7513 of file ConstraintProto.java.

◆ getDescriptor()

final com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.ConstraintProto.getDescriptor ( )
static

Definition at line 40 of file ConstraintProto.java.

◆ getDummyConstraint()

com.google.ortools.sat.ListOfVariablesProto com.google.ortools.sat.ConstraintProto.getDummyConstraint ( )
This constraint is not meant to be used and will be rejected by the
solver. It is meant to mark variable when testing the presolve code.

.operations_research.sat.ListOfVariablesProto dummy_constraint = 30;

Returns
The dummyConstraint.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1399 of file ConstraintProto.java.

◆ getDummyConstraintOrBuilder()

com.google.ortools.sat.ListOfVariablesProtoOrBuilder com.google.ortools.sat.ConstraintProto.getDummyConstraintOrBuilder ( )
This constraint is not meant to be used and will be rejected by the
solver. It is meant to mark variable when testing the presolve code.

.operations_research.sat.ListOfVariablesProto dummy_constraint = 30;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1414 of file ConstraintProto.java.

◆ getElement()

com.google.ortools.sat.ElementConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 890 of file ConstraintProto.java.

◆ getElementOrBuilder()

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

.operations_research.sat.ElementConstraintProto element = 14;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 905 of file ConstraintProto.java.

◆ getEnforcementLiteral()

int com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 259 of file ConstraintProto.java.

◆ getEnforcementLiteralCount()

int com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 234 of file ConstraintProto.java.

◆ getEnforcementLiteralList()

java.util.List< java.lang.Integer > com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 210 of file ConstraintProto.java.

◆ getExactlyOne()

com.google.ortools.sat.BoolArgumentProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 479 of file ConstraintProto.java.

◆ getExactlyOneOrBuilder()

com.google.ortools.sat.BoolArgumentProtoOrBuilder com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 504 of file ConstraintProto.java.

◆ getIntDiv()

com.google.ortools.sat.LinearArgumentProto com.google.ortools.sat.ConstraintProto.getIntDiv ( )
The int_div constraint forces the target to equal exprs[0] / exprs[1].
The division is "rounded" towards zero, so we can have for instance
(2 = 12 / 5) or (-3 = -10 / 3). If you only want exact integer division,
then you should use instead of t = a / b, the int_prod constraint
a = b * t.

If 0 belongs to the domain of exprs[1], then the model is deemed invalid.

.operations_research.sat.LinearArgumentProto int_div = 7;

Returns
The intDiv.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 588 of file ConstraintProto.java.

◆ getIntDivOrBuilder()

com.google.ortools.sat.LinearArgumentProtoOrBuilder com.google.ortools.sat.ConstraintProto.getIntDivOrBuilder ( )
The int_div constraint forces the target to equal exprs[0] / exprs[1].
The division is "rounded" towards zero, so we can have for instance
(2 = 12 / 5) or (-3 = -10 / 3). If you only want exact integer division,
then you should use instead of t = a / b, the int_prod constraint
a = b * t.

If 0 belongs to the domain of exprs[1], then the model is deemed invalid.

.operations_research.sat.LinearArgumentProto int_div = 7;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 608 of file ConstraintProto.java.

◆ getInterval()

com.google.ortools.sat.IntervalConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1212 of file ConstraintProto.java.

◆ getIntervalOrBuilder()

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

.operations_research.sat.IntervalConstraintProto interval = 19;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1227 of file ConstraintProto.java.

◆ getIntMod()

com.google.ortools.sat.LinearArgumentProto com.google.ortools.sat.ConstraintProto.getIntMod ( )
The int_mod constraint forces the target to equal exprs[0] % exprs[1].
The domain of exprs[1] must be strictly positive. The sign of the target
is the same as the sign of exprs[0].

.operations_research.sat.LinearArgumentProto int_mod = 8;

Returns
The intMod.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 641 of file ConstraintProto.java.

◆ getIntModOrBuilder()

com.google.ortools.sat.LinearArgumentProtoOrBuilder com.google.ortools.sat.ConstraintProto.getIntModOrBuilder ( )
The int_mod constraint forces the target to equal exprs[0] % exprs[1].
The domain of exprs[1] must be strictly positive. The sign of the target
is the same as the sign of exprs[0].

.operations_research.sat.LinearArgumentProto int_mod = 8;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 657 of file ConstraintProto.java.

◆ getIntProd()

com.google.ortools.sat.LinearArgumentProto com.google.ortools.sat.ConstraintProto.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.

Note that the solver checks for potential integer overflow. So the
product of the maximum absolute value of all the terms (using the initial
domain) should fit on an int64. Otherwise the model will be declared
invalid.

.operations_research.sat.LinearArgumentProto int_prod = 11;

Returns
The intProd.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 700 of file ConstraintProto.java.

◆ getIntProdOrBuilder()

com.google.ortools.sat.LinearArgumentProtoOrBuilder com.google.ortools.sat.ConstraintProto.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.

Note that the solver checks for potential integer overflow. So the
product of the maximum absolute value of all the terms (using the initial
domain) should fit on an int64. Otherwise the model will be declared
invalid.

.operations_research.sat.LinearArgumentProto int_prod = 11;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 721 of file ConstraintProto.java.

◆ getInverse()

com.google.ortools.sat.InverseConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1117 of file ConstraintProto.java.

◆ getInverseOrBuilder()

com.google.ortools.sat.InverseConstraintProtoOrBuilder com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1132 of file ConstraintProto.java.

◆ getLinear()

com.google.ortools.sat.LinearConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 801 of file ConstraintProto.java.

◆ getLinearOrBuilder()

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

.operations_research.sat.LinearConstraintProto linear = 12;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 816 of file ConstraintProto.java.

◆ getLinMax()

com.google.ortools.sat.LinearArgumentProto com.google.ortools.sat.ConstraintProto.getLinMax ( )
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
Note that this can model a minimum simply by negating all expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Returns
The linMax.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 754 of file ConstraintProto.java.

◆ getLinMaxOrBuilder()

com.google.ortools.sat.LinearArgumentProtoOrBuilder com.google.ortools.sat.ConstraintProto.getLinMaxOrBuilder ( )
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
Note that this can model a minimum simply by negating all expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 770 of file ConstraintProto.java.

◆ getName()

java.lang.String com.google.ortools.sat.ConstraintProto.getName ( )
For debug/logging only. Can be empty.

string name = 1;

Returns
The name.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 148 of file ConstraintProto.java.

◆ getNameBytes()

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

string name = 1;

Returns
The bytes for name.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 170 of file ConstraintProto.java.

◆ getNoOverlap()

com.google.ortools.sat.NoOverlapConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1260 of file ConstraintProto.java.

◆ getNoOverlap2D()

com.google.ortools.sat.NoOverlap2DConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1305 of file ConstraintProto.java.

◆ getNoOverlap2DOrBuilder()

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

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1319 of file ConstraintProto.java.

◆ getNoOverlapOrBuilder()

com.google.ortools.sat.NoOverlapConstraintProtoOrBuilder com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1276 of file ConstraintProto.java.

◆ getParserForType()

com.google.protobuf.Parser< ConstraintProto > com.google.ortools.sat.ConstraintProto.getParserForType ( )

Definition at line 7508 of file ConstraintProto.java.

◆ getReservoir()

com.google.ortools.sat.ReservoirConstraintProto com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1165 of file ConstraintProto.java.

◆ getReservoirOrBuilder()

com.google.ortools.sat.ReservoirConstraintProtoOrBuilder com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1181 of file ConstraintProto.java.

◆ getRoutes()

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

.operations_research.sat.RoutesConstraintProto routes = 23;

Returns
The routes.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 980 of file ConstraintProto.java.

◆ getRoutesOrBuilder()

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

.operations_research.sat.RoutesConstraintProto routes = 23;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 994 of file ConstraintProto.java.

◆ getSerializedSize()

int com.google.ortools.sat.ConstraintProto.getSerializedSize ( )

Definition at line 1519 of file ConstraintProto.java.

◆ getTable()

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

.operations_research.sat.TableConstraintProto table = 16;

Returns
The table.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1025 of file ConstraintProto.java.

◆ getTableOrBuilder()

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

.operations_research.sat.TableConstraintProto table = 16;

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1040 of file ConstraintProto.java.

◆ hasAllDiff()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 833 of file ConstraintProto.java.

◆ hasAtMostOne()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 382 of file ConstraintProto.java.

◆ hasAutomaton()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1058 of file ConstraintProto.java.

◆ hasBoolAnd()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 321 of file ConstraintProto.java.

◆ hasBoolOr()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 274 of file ConstraintProto.java.

◆ hasBoolXor()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 521 of file ConstraintProto.java.

◆ hasCircuit()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 923 of file ConstraintProto.java.

◆ hasCumulative()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1338 of file ConstraintProto.java.

◆ hasDummyConstraint()

boolean com.google.ortools.sat.ConstraintProto.hasDummyConstraint ( )
This constraint is not meant to be used and will be rejected by the
solver. It is meant to mark variable when testing the presolve code.

.operations_research.sat.ListOfVariablesProto dummy_constraint = 30;

Returns
Whether the dummyConstraint field is set.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1386 of file ConstraintProto.java.

◆ hasElement()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 877 of file ConstraintProto.java.

◆ hasExactlyOne()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 456 of file ConstraintProto.java.

◆ hashCode()

int com.google.ortools.sat.ConstraintProto.hashCode ( )

Definition at line 1754 of file ConstraintProto.java.

◆ hasIntDiv()

boolean com.google.ortools.sat.ConstraintProto.hasIntDiv ( )
The int_div constraint forces the target to equal exprs[0] / exprs[1].
The division is "rounded" towards zero, so we can have for instance
(2 = 12 / 5) or (-3 = -10 / 3). If you only want exact integer division,
then you should use instead of t = a / b, the int_prod constraint
a = b * t.

If 0 belongs to the domain of exprs[1], then the model is deemed invalid.

.operations_research.sat.LinearArgumentProto int_div = 7;

Returns
Whether the intDiv field is set.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 570 of file ConstraintProto.java.

◆ hasInterval()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1199 of file ConstraintProto.java.

◆ hasIntMod()

boolean com.google.ortools.sat.ConstraintProto.hasIntMod ( )
The int_mod constraint forces the target to equal exprs[0] % exprs[1].
The domain of exprs[1] must be strictly positive. The sign of the target
is the same as the sign of exprs[0].

.operations_research.sat.LinearArgumentProto int_mod = 8;

Returns
Whether the intMod field is set.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 627 of file ConstraintProto.java.

◆ hasIntProd()

boolean com.google.ortools.sat.ConstraintProto.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.

Note that the solver checks for potential integer overflow. So the
product of the maximum absolute value of all the terms (using the initial
domain) should fit on an int64. Otherwise the model will be declared
invalid.

.operations_research.sat.LinearArgumentProto int_prod = 11;

Returns
Whether the intProd field is set.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 681 of file ConstraintProto.java.

◆ hasInverse()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1104 of file ConstraintProto.java.

◆ hasLinear()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 788 of file ConstraintProto.java.

◆ hasLinMax()

boolean com.google.ortools.sat.ConstraintProto.hasLinMax ( )
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
Note that this can model a minimum simply by negating all expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Returns
Whether the linMax field is set.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 740 of file ConstraintProto.java.

◆ hasNoOverlap()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1246 of file ConstraintProto.java.

◆ hasNoOverlap2D()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1293 of file ConstraintProto.java.

◆ hasReservoir()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1151 of file ConstraintProto.java.

◆ hasRoutes()

boolean com.google.ortools.sat.ConstraintProto.hasRoutes ( )
The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Returns
Whether the routes field is set.

Implements com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 968 of file ConstraintProto.java.

◆ hasTable()

boolean com.google.ortools.sat.ConstraintProto.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 com.google.ortools.sat.ConstraintProtoOrBuilder.

Definition at line 1012 of file ConstraintProto.java.

◆ internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable com.google.ortools.sat.ConstraintProto.internalGetFieldAccessorTable ( )
protected

Definition at line 46 of file ConstraintProto.java.

◆ isInitialized()

final boolean com.google.ortools.sat.ConstraintProto.isInitialized ( )

Definition at line 1423 of file ConstraintProto.java.

◆ newBuilder() [1/2]

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

Definition at line 1941 of file ConstraintProto.java.

◆ newBuilder() [2/2]

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

Definition at line 1944 of file ConstraintProto.java.

◆ newBuilderForType() [1/2]

Builder com.google.ortools.sat.ConstraintProto.newBuilderForType ( )

Definition at line 1940 of file ConstraintProto.java.

◆ newBuilderForType() [2/2]

Builder com.google.ortools.sat.ConstraintProto.newBuilderForType ( com.google.protobuf.GeneratedMessage.BuilderParent parent)
protected

Definition at line 1954 of file ConstraintProto.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 1912 of file ConstraintProto.java.

◆ parseDelimitedFrom() [2/2]

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

Definition at line 1918 of file ConstraintProto.java.

◆ parseFrom() [1/10]

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

Definition at line 1889 of file ConstraintProto.java.

◆ parseFrom() [2/10]

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

Definition at line 1893 of file ConstraintProto.java.

◆ parseFrom() [3/10]

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

Definition at line 1878 of file ConstraintProto.java.

◆ parseFrom() [4/10]

com.google.ortools.sat.ConstraintProto 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 1883 of file ConstraintProto.java.

◆ parseFrom() [5/10]

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

Definition at line 1925 of file ConstraintProto.java.

◆ parseFrom() [6/10]

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

Definition at line 1931 of file ConstraintProto.java.

◆ parseFrom() [7/10]

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

Definition at line 1899 of file ConstraintProto.java.

◆ parseFrom() [8/10]

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

Definition at line 1904 of file ConstraintProto.java.

◆ parseFrom() [9/10]

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

Definition at line 1867 of file ConstraintProto.java.

◆ parseFrom() [10/10]

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

Definition at line 1872 of file ConstraintProto.java.

◆ parser()

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

Definition at line 7503 of file ConstraintProto.java.

◆ toBuilder()

Builder com.google.ortools.sat.ConstraintProto.toBuilder ( )

Definition at line 1948 of file ConstraintProto.java.

◆ writeTo()

void com.google.ortools.sat.ConstraintProto.writeTo ( com.google.protobuf.CodedOutputStream output) throws java.io.IOException

Definition at line 1433 of file ConstraintProto.java.

Member Data Documentation

◆ ALL_DIFF_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.ALL_DIFF_FIELD_NUMBER = 13
static

Definition at line 823 of file ConstraintProto.java.

◆ AT_MOST_ONE_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.AT_MOST_ONE_FIELD_NUMBER = 26
static

Definition at line 362 of file ConstraintProto.java.

◆ AUTOMATON_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.AUTOMATON_FIELD_NUMBER = 17
static

Definition at line 1047 of file ConstraintProto.java.

◆ BOOL_AND_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.BOOL_AND_FIELD_NUMBER = 4
static

Definition at line 307 of file ConstraintProto.java.

◆ BOOL_OR_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.BOOL_OR_FIELD_NUMBER = 3
static

Definition at line 264 of file ConstraintProto.java.

◆ BOOL_XOR_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.BOOL_XOR_FIELD_NUMBER = 5
static

Definition at line 511 of file ConstraintProto.java.

◆ CIRCUIT_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.CIRCUIT_FIELD_NUMBER = 15
static

Definition at line 912 of file ConstraintProto.java.

◆ CUMULATIVE_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.CUMULATIVE_FIELD_NUMBER = 22
static

Definition at line 1326 of file ConstraintProto.java.

◆ DUMMY_CONSTRAINT_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.DUMMY_CONSTRAINT_FIELD_NUMBER = 30
static

Definition at line 1375 of file ConstraintProto.java.

◆ ELEMENT_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.ELEMENT_FIELD_NUMBER = 14
static

Definition at line 866 of file ConstraintProto.java.

◆ ENFORCEMENT_LITERAL_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.ENFORCEMENT_LITERAL_FIELD_NUMBER = 2
static

Definition at line 183 of file ConstraintProto.java.

◆ EXACTLY_ONE_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.EXACTLY_ONE_FIELD_NUMBER = 29
static

Definition at line 435 of file ConstraintProto.java.

◆ INT_DIV_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.INT_DIV_FIELD_NUMBER = 7
static

Definition at line 554 of file ConstraintProto.java.

◆ INT_MOD_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.INT_MOD_FIELD_NUMBER = 8
static

Definition at line 615 of file ConstraintProto.java.

◆ INT_PROD_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.INT_PROD_FIELD_NUMBER = 11
static

Definition at line 664 of file ConstraintProto.java.

◆ INTERVAL_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.INTERVAL_FIELD_NUMBER = 19
static

Definition at line 1188 of file ConstraintProto.java.

◆ INVERSE_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.INVERSE_FIELD_NUMBER = 18
static

Definition at line 1093 of file ConstraintProto.java.

◆ LIN_MAX_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.LIN_MAX_FIELD_NUMBER = 27
static

Definition at line 728 of file ConstraintProto.java.

◆ LINEAR_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.LINEAR_FIELD_NUMBER = 12
static

Definition at line 777 of file ConstraintProto.java.

◆ NAME_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.NAME_FIELD_NUMBER = 1
static

Definition at line 136 of file ConstraintProto.java.

◆ NO_OVERLAP_2D_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.NO_OVERLAP_2D_FIELD_NUMBER = 21
static

Definition at line 1283 of file ConstraintProto.java.

◆ NO_OVERLAP_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.NO_OVERLAP_FIELD_NUMBER = 20
static

Definition at line 1234 of file ConstraintProto.java.

◆ RESERVOIR_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.RESERVOIR_FIELD_NUMBER = 24
static

Definition at line 1139 of file ConstraintProto.java.

◆ ROUTES_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.ROUTES_FIELD_NUMBER = 23
static

Definition at line 958 of file ConstraintProto.java.

◆ TABLE_FIELD_NUMBER

final int com.google.ortools.sat.ConstraintProto.TABLE_FIELD_NUMBER = 16
static

Definition at line 1001 of file ConstraintProto.java.


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