Java Reference

Java Reference

ConstraintProto.Builder

Detailed Description

Next id: 29

Protobuf type

operations_research.sat.ConstraintProto

Definition at line 2408 of file ConstraintProto.java.

Public Member Functions

.lang.Override Builder clear ()
 
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType ()
 
.lang.Override com.google.ortools.sat.ConstraintProto getDefaultInstanceForType ()
 
.lang.Override com.google.ortools.sat.ConstraintProto build ()
 
.lang.Override com.google.ortools.sat.ConstraintProto buildPartial ()
 
.lang.Override Builder clone ()
 
.lang.Override Builder setField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
 
.lang.Override Builder clearField (com.google.protobuf.Descriptors.FieldDescriptor field)
 
.lang.Override Builder clearOneof (com.google.protobuf.Descriptors.OneofDescriptor oneof)
 
.lang.Override Builder setRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
 
.lang.Override Builder addRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
 
.lang.Override Builder mergeFrom (com.google.protobuf.Message other)
 
Builder mergeFrom (com.google.ortools.sat.ConstraintProto other)
 
.lang.Override final boolean isInitialized ()
 
.lang.Override Builder mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
ConstraintCase getConstraintCase ()
 
Builder clearConstraint ()
 
java.lang.String getName ()
 
com.google.protobuf.ByteString getNameBytes ()
 
Builder setName (java.lang.String value)
 
Builder clearName ()
 
Builder setNameBytes (com.google.protobuf.ByteString value)
 
java.util.List< java.lang.Integer > getEnforcementLiteralList ()
 
int getEnforcementLiteralCount ()
 
int getEnforcementLiteral (int index)
 
Builder setEnforcementLiteral (int index, int value)
 
Builder addEnforcementLiteral (int value)
 
Builder addAllEnforcementLiteral (java.lang.Iterable<? extends java.lang.Integer > values)
 
Builder clearEnforcementLiteral ()
 
.lang.Override boolean hasBoolOr ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolOr ()
 
Builder setBoolOr (com.google.ortools.sat.BoolArgumentProto value)
 
Builder setBoolOr (com.google.ortools.sat.BoolArgumentProto.Builder builderForValue)
 
Builder mergeBoolOr (com.google.ortools.sat.BoolArgumentProto value)
 
Builder clearBoolOr ()
 
com.google.ortools.sat.BoolArgumentProto.Builder getBoolOrBuilder ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolOrOrBuilder ()
 
.lang.Override boolean hasBoolAnd ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolAnd ()
 
Builder setBoolAnd (com.google.ortools.sat.BoolArgumentProto value)
 
Builder setBoolAnd (com.google.ortools.sat.BoolArgumentProto.Builder builderForValue)
 
Builder mergeBoolAnd (com.google.ortools.sat.BoolArgumentProto value)
 
Builder clearBoolAnd ()
 
com.google.ortools.sat.BoolArgumentProto.Builder getBoolAndBuilder ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolAndOrBuilder ()
 
.lang.Override boolean hasAtMostOne ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getAtMostOne ()
 
Builder setAtMostOne (com.google.ortools.sat.BoolArgumentProto value)
 
Builder setAtMostOne (com.google.ortools.sat.BoolArgumentProto.Builder builderForValue)
 
Builder mergeAtMostOne (com.google.ortools.sat.BoolArgumentProto value)
 
Builder clearAtMostOne ()
 
com.google.ortools.sat.BoolArgumentProto.Builder getAtMostOneBuilder ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getAtMostOneOrBuilder ()
 
.lang.Override boolean hasBoolXor ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolXor ()
 
Builder setBoolXor (com.google.ortools.sat.BoolArgumentProto value)
 
Builder setBoolXor (com.google.ortools.sat.BoolArgumentProto.Builder builderForValue)
 
Builder mergeBoolXor (com.google.ortools.sat.BoolArgumentProto value)
 
Builder clearBoolXor ()
 
com.google.ortools.sat.BoolArgumentProto.Builder getBoolXorBuilder ()
 
.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolXorOrBuilder ()
 
.lang.Override boolean hasIntDiv ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntDiv ()
 
Builder setIntDiv (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder setIntDiv (com.google.ortools.sat.IntegerArgumentProto.Builder builderForValue)
 
Builder mergeIntDiv (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder clearIntDiv ()
 
com.google.ortools.sat.IntegerArgumentProto.Builder getIntDivBuilder ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntDivOrBuilder ()
 
.lang.Override boolean hasIntMod ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMod ()
 
Builder setIntMod (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder setIntMod (com.google.ortools.sat.IntegerArgumentProto.Builder builderForValue)
 
Builder mergeIntMod (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder clearIntMod ()
 
com.google.ortools.sat.IntegerArgumentProto.Builder getIntModBuilder ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntModOrBuilder ()
 
.lang.Override boolean hasIntMax ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMax ()
 
Builder setIntMax (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder setIntMax (com.google.ortools.sat.IntegerArgumentProto.Builder builderForValue)
 
Builder mergeIntMax (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder clearIntMax ()
 
com.google.ortools.sat.IntegerArgumentProto.Builder getIntMaxBuilder ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntMaxOrBuilder ()
 
.lang.Override boolean hasLinMax ()
 
.lang.Override com.google.ortools.sat.LinearArgumentProto getLinMax ()
 
Builder setLinMax (com.google.ortools.sat.LinearArgumentProto value)
 
Builder setLinMax (com.google.ortools.sat.LinearArgumentProto.Builder builderForValue)
 
Builder mergeLinMax (com.google.ortools.sat.LinearArgumentProto value)
 
Builder clearLinMax ()
 
com.google.ortools.sat.LinearArgumentProto.Builder getLinMaxBuilder ()
 
.lang.Override com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMaxOrBuilder ()
 
.lang.Override boolean hasIntMin ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMin ()
 
Builder setIntMin (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder setIntMin (com.google.ortools.sat.IntegerArgumentProto.Builder builderForValue)
 
Builder mergeIntMin (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder clearIntMin ()
 
com.google.ortools.sat.IntegerArgumentProto.Builder getIntMinBuilder ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntMinOrBuilder ()
 
.lang.Override boolean hasLinMin ()
 
.lang.Override com.google.ortools.sat.LinearArgumentProto getLinMin ()
 
Builder setLinMin (com.google.ortools.sat.LinearArgumentProto value)
 
Builder setLinMin (com.google.ortools.sat.LinearArgumentProto.Builder builderForValue)
 
Builder mergeLinMin (com.google.ortools.sat.LinearArgumentProto value)
 
Builder clearLinMin ()
 
com.google.ortools.sat.LinearArgumentProto.Builder getLinMinBuilder ()
 
.lang.Override com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMinOrBuilder ()
 
.lang.Override boolean hasIntProd ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntProd ()
 
Builder setIntProd (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder setIntProd (com.google.ortools.sat.IntegerArgumentProto.Builder builderForValue)
 
Builder mergeIntProd (com.google.ortools.sat.IntegerArgumentProto value)
 
Builder clearIntProd ()
 
com.google.ortools.sat.IntegerArgumentProto.Builder getIntProdBuilder ()
 
.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntProdOrBuilder ()
 
.lang.Override boolean hasLinear ()
 
.lang.Override com.google.ortools.sat.LinearConstraintProto getLinear ()
 
Builder setLinear (com.google.ortools.sat.LinearConstraintProto value)
 
Builder setLinear (com.google.ortools.sat.LinearConstraintProto.Builder builderForValue)
 
Builder mergeLinear (com.google.ortools.sat.LinearConstraintProto value)
 
Builder clearLinear ()
 
com.google.ortools.sat.LinearConstraintProto.Builder getLinearBuilder ()
 
.lang.Override com.google.ortools.sat.LinearConstraintProtoOrBuilder getLinearOrBuilder ()
 
.lang.Override boolean hasAllDiff ()
 
.lang.Override com.google.ortools.sat.AllDifferentConstraintProto getAllDiff ()
 
Builder setAllDiff (com.google.ortools.sat.AllDifferentConstraintProto value)
 
Builder setAllDiff (com.google.ortools.sat.AllDifferentConstraintProto.Builder builderForValue)
 
Builder mergeAllDiff (com.google.ortools.sat.AllDifferentConstraintProto value)
 
Builder clearAllDiff ()
 
com.google.ortools.sat.AllDifferentConstraintProto.Builder getAllDiffBuilder ()
 
.lang.Override com.google.ortools.sat.AllDifferentConstraintProtoOrBuilder getAllDiffOrBuilder ()
 
.lang.Override boolean hasElement ()
 
.lang.Override com.google.ortools.sat.ElementConstraintProto getElement ()
 
Builder setElement (com.google.ortools.sat.ElementConstraintProto value)
 
Builder setElement (com.google.ortools.sat.ElementConstraintProto.Builder builderForValue)
 
Builder mergeElement (com.google.ortools.sat.ElementConstraintProto value)
 
Builder clearElement ()
 
com.google.ortools.sat.ElementConstraintProto.Builder getElementBuilder ()
 
.lang.Override com.google.ortools.sat.ElementConstraintProtoOrBuilder getElementOrBuilder ()
 
.lang.Override boolean hasCircuit ()
 
.lang.Override com.google.ortools.sat.CircuitConstraintProto getCircuit ()
 
Builder setCircuit (com.google.ortools.sat.CircuitConstraintProto value)
 
Builder setCircuit (com.google.ortools.sat.CircuitConstraintProto.Builder builderForValue)
 
Builder mergeCircuit (com.google.ortools.sat.CircuitConstraintProto value)
 
Builder clearCircuit ()
 
com.google.ortools.sat.CircuitConstraintProto.Builder getCircuitBuilder ()
 
.lang.Override com.google.ortools.sat.CircuitConstraintProtoOrBuilder getCircuitOrBuilder ()
 
.lang.Override boolean hasRoutes ()
 
.lang.Override com.google.ortools.sat.RoutesConstraintProto getRoutes ()
 
Builder setRoutes (com.google.ortools.sat.RoutesConstraintProto value)
 
Builder setRoutes (com.google.ortools.sat.RoutesConstraintProto.Builder builderForValue)
 
Builder mergeRoutes (com.google.ortools.sat.RoutesConstraintProto value)
 
Builder clearRoutes ()
 
com.google.ortools.sat.RoutesConstraintProto.Builder getRoutesBuilder ()
 
.lang.Override com.google.ortools.sat.RoutesConstraintProtoOrBuilder getRoutesOrBuilder ()
 
.lang.Override boolean hasCircuitCovering ()
 
.lang.Override com.google.ortools.sat.CircuitCoveringConstraintProto getCircuitCovering ()
 
Builder setCircuitCovering (com.google.ortools.sat.CircuitCoveringConstraintProto value)
 
Builder setCircuitCovering (com.google.ortools.sat.CircuitCoveringConstraintProto.Builder builderForValue)
 
Builder mergeCircuitCovering (com.google.ortools.sat.CircuitCoveringConstraintProto value)
 
Builder clearCircuitCovering ()
 
com.google.ortools.sat.CircuitCoveringConstraintProto.Builder getCircuitCoveringBuilder ()
 
.lang.Override com.google.ortools.sat.CircuitCoveringConstraintProtoOrBuilder getCircuitCoveringOrBuilder ()
 
.lang.Override boolean hasTable ()
 
.lang.Override com.google.ortools.sat.TableConstraintProto getTable ()
 
Builder setTable (com.google.ortools.sat.TableConstraintProto value)
 
Builder setTable (com.google.ortools.sat.TableConstraintProto.Builder builderForValue)
 
Builder mergeTable (com.google.ortools.sat.TableConstraintProto value)
 
Builder clearTable ()
 
com.google.ortools.sat.TableConstraintProto.Builder getTableBuilder ()
 
.lang.Override com.google.ortools.sat.TableConstraintProtoOrBuilder getTableOrBuilder ()
 
.lang.Override boolean hasAutomaton ()
 
.lang.Override com.google.ortools.sat.AutomatonConstraintProto getAutomaton ()
 
Builder setAutomaton (com.google.ortools.sat.AutomatonConstraintProto value)
 
Builder setAutomaton (com.google.ortools.sat.AutomatonConstraintProto.Builder builderForValue)
 
Builder mergeAutomaton (com.google.ortools.sat.AutomatonConstraintProto value)
 
Builder clearAutomaton ()
 
com.google.ortools.sat.AutomatonConstraintProto.Builder getAutomatonBuilder ()
 
.lang.Override com.google.ortools.sat.AutomatonConstraintProtoOrBuilder getAutomatonOrBuilder ()
 
.lang.Override boolean hasInverse ()
 
.lang.Override com.google.ortools.sat.InverseConstraintProto getInverse ()
 
Builder setInverse (com.google.ortools.sat.InverseConstraintProto value)
 
Builder setInverse (com.google.ortools.sat.InverseConstraintProto.Builder builderForValue)
 
Builder mergeInverse (com.google.ortools.sat.InverseConstraintProto value)
 
Builder clearInverse ()
 
com.google.ortools.sat.InverseConstraintProto.Builder getInverseBuilder ()
 
.lang.Override com.google.ortools.sat.InverseConstraintProtoOrBuilder getInverseOrBuilder ()
 
.lang.Override boolean hasReservoir ()
 
.lang.Override com.google.ortools.sat.ReservoirConstraintProto getReservoir ()
 
Builder setReservoir (com.google.ortools.sat.ReservoirConstraintProto value)
 
Builder setReservoir (com.google.ortools.sat.ReservoirConstraintProto.Builder builderForValue)
 
Builder mergeReservoir (com.google.ortools.sat.ReservoirConstraintProto value)
 
Builder clearReservoir ()
 
com.google.ortools.sat.ReservoirConstraintProto.Builder getReservoirBuilder ()
 
.lang.Override com.google.ortools.sat.ReservoirConstraintProtoOrBuilder getReservoirOrBuilder ()
 
.lang.Override boolean hasInterval ()
 
.lang.Override com.google.ortools.sat.IntervalConstraintProto getInterval ()
 
Builder setInterval (com.google.ortools.sat.IntervalConstraintProto value)
 
Builder setInterval (com.google.ortools.sat.IntervalConstraintProto.Builder builderForValue)
 
Builder mergeInterval (com.google.ortools.sat.IntervalConstraintProto value)
 
Builder clearInterval ()
 
com.google.ortools.sat.IntervalConstraintProto.Builder getIntervalBuilder ()
 
.lang.Override com.google.ortools.sat.IntervalConstraintProtoOrBuilder getIntervalOrBuilder ()
 
.lang.Override boolean hasNoOverlap ()
 
.lang.Override com.google.ortools.sat.NoOverlapConstraintProto getNoOverlap ()
 
Builder setNoOverlap (com.google.ortools.sat.NoOverlapConstraintProto value)
 
Builder setNoOverlap (com.google.ortools.sat.NoOverlapConstraintProto.Builder builderForValue)
 
Builder mergeNoOverlap (com.google.ortools.sat.NoOverlapConstraintProto value)
 
Builder clearNoOverlap ()
 
com.google.ortools.sat.NoOverlapConstraintProto.Builder getNoOverlapBuilder ()
 
.lang.Override com.google.ortools.sat.NoOverlapConstraintProtoOrBuilder getNoOverlapOrBuilder ()
 
.lang.Override boolean hasNoOverlap2D ()
 
.lang.Override com.google.ortools.sat.NoOverlap2DConstraintProto getNoOverlap2D ()
 
Builder setNoOverlap2D (com.google.ortools.sat.NoOverlap2DConstraintProto value)
 
Builder setNoOverlap2D (com.google.ortools.sat.NoOverlap2DConstraintProto.Builder builderForValue)
 
Builder mergeNoOverlap2D (com.google.ortools.sat.NoOverlap2DConstraintProto value)
 
Builder clearNoOverlap2D ()
 
com.google.ortools.sat.NoOverlap2DConstraintProto.Builder getNoOverlap2DBuilder ()
 
.lang.Override com.google.ortools.sat.NoOverlap2DConstraintProtoOrBuilder getNoOverlap2DOrBuilder ()
 
.lang.Override boolean hasCumulative ()
 
.lang.Override com.google.ortools.sat.CumulativeConstraintProto getCumulative ()
 
Builder setCumulative (com.google.ortools.sat.CumulativeConstraintProto value)
 
Builder setCumulative (com.google.ortools.sat.CumulativeConstraintProto.Builder builderForValue)
 
Builder mergeCumulative (com.google.ortools.sat.CumulativeConstraintProto value)
 
Builder clearCumulative ()
 
com.google.ortools.sat.CumulativeConstraintProto.Builder getCumulativeBuilder ()
 
.lang.Override com.google.ortools.sat.CumulativeConstraintProtoOrBuilder getCumulativeOrBuilder ()
 
.lang.Override final Builder setUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields)
 
.lang.Override final Builder mergeUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields)
 

Static Public Member Functions

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

Protected Member Functions

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

Member Function Documentation

◆ addAllEnforcementLiteral()

Builder addAllEnforcementLiteral ( java.lang.Iterable<? extends java.lang.Integer >  values)
inline
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
valuesThe enforcementLiteral to add.
Returns
This builder for chaining.

Definition at line 3116 of file ConstraintProto.java.

◆ addEnforcementLiteral()

Builder addEnforcementLiteral ( int  value)
inline
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
valueThe enforcementLiteral to add.
Returns
This builder for chaining.

Definition at line 3090 of file ConstraintProto.java.

◆ addRepeatedField()

.lang.Override Builder addRepeatedField ( com.google.protobuf.Descriptors.FieldDescriptor  field,
java.lang.Object  value 
)
inline

Definition at line 2689 of file ConstraintProto.java.

◆ build()

.lang.Override com.google.ortools.sat.ConstraintProto build ( )
inline

Definition at line 2464 of file ConstraintProto.java.

◆ buildPartial()

.lang.Override com.google.ortools.sat.ConstraintProto buildPartial ( )
inline

Definition at line 2473 of file ConstraintProto.java.

◆ clear()

.lang.Override Builder clear ( )
inline

Definition at line 2441 of file ConstraintProto.java.

◆ clearAllDiff()

Builder clearAllDiff ( )
inline
The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Definition at line 5516 of file ConstraintProto.java.

◆ clearAtMostOne()

Builder clearAtMostOne ( )
inline
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.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Definition at line 3662 of file ConstraintProto.java.

◆ clearAutomaton()

Builder clearAutomaton ( )
inline
The automaton constraint forces a sequence of variables to be accepted
by an automaton.

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Definition at line 6620 of file ConstraintProto.java.

◆ clearBoolAnd()

Builder clearBoolAnd ( )
inline
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. It is just more space efficient and handled
slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Definition at line 3452 of file ConstraintProto.java.

◆ clearBoolOr()

Builder clearBoolOr ( )
inline
The bool_or constraint forces at least one literal to be true.

.operations_research.sat.BoolArgumentProto bool_or = 3;

Definition at line 3257 of file ConstraintProto.java.

◆ clearBoolXor()

Builder clearBoolXor ( )
inline
The bool_xor constraint forces an odd number of the literals to be true.

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Definition at line 3851 of file ConstraintProto.java.

◆ clearCircuit()

Builder clearCircuit ( )
inline
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;

Definition at line 5885 of file ConstraintProto.java.

◆ clearCircuitCovering()

Builder clearCircuitCovering ( )
inline
The circuit_covering constraint is similar to the circuit constraint,
but allows multiple non-overlapping cycles instead of just one.

.operations_research.sat.CircuitCoveringConstraintProto circuit_covering = 25;

Definition at line 6248 of file ConstraintProto.java.

◆ clearConstraint()

Builder clearConstraint ( )
inline

Definition at line 2861 of file ConstraintProto.java.

◆ clearCumulative()

Builder clearCumulative ( )
inline
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;

Definition at line 7751 of file ConstraintProto.java.

◆ clearElement()

Builder clearElement ( )
inline
The element constraint forces the variable with the given index
to be equal to the target.

.operations_research.sat.ElementConstraintProto element = 14;

Definition at line 5699 of file ConstraintProto.java.

◆ clearEnforcementLiteral()

Builder clearEnforcementLiteral ( )
inline
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
This builder for chaining.

Definition at line 3143 of file ConstraintProto.java.

◆ clearField()

.lang.Override Builder clearField ( com.google.protobuf.Descriptors.FieldDescriptor  field)
inline

Definition at line 2673 of file ConstraintProto.java.

◆ clearIntDiv()

Builder clearIntDiv ( )
inline
The int_div constraint forces the target to equal vars[0] / vars[1].

.operations_research.sat.IntegerArgumentProto int_div = 7;

Definition at line 4028 of file ConstraintProto.java.

◆ clearInterval()

Builder clearInterval ( )
inline
The interval constraint takes a start, end, and size, and forces
start + size == end.

.operations_research.sat.IntervalConstraintProto interval = 19;

Definition at line 7187 of file ConstraintProto.java.

◆ clearIntMax()

Builder clearIntMax ( )
inline
The int_max constraint forces the target to equal the maximum of all
variables.
TODO(user): Remove int_max in favor of lin_max.

.operations_research.sat.IntegerArgumentProto int_max = 9;

Definition at line 4394 of file ConstraintProto.java.

◆ clearIntMin()

Builder clearIntMin ( )
inline
The int_min constraint forces the target to equal the minimum of all
variables.
TODO(user): Remove int_min in favor of lin_min.

.operations_research.sat.IntegerArgumentProto int_min = 10;

Definition at line 4775 of file ConstraintProto.java.

◆ clearIntMod()

Builder clearIntMod ( )
inline
The int_mod constraint forces the target to equal vars[0] % vars[1].

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Definition at line 4205 of file ConstraintProto.java.

◆ clearIntProd()

Builder clearIntProd ( )
inline
The int_prod constraint forces the target to equal the product of all
variables.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Definition at line 5150 of file ConstraintProto.java.

◆ clearInverse()

Builder clearInverse ( )
inline
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;

Definition at line 6806 of file ConstraintProto.java.

◆ clearLinear()

Builder clearLinear ( )
inline
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.

.operations_research.sat.LinearConstraintProto linear = 12;

Definition at line 5336 of file ConstraintProto.java.

◆ clearLinMax()

Builder clearLinMax ( )
inline
The lin_max constraint forces the target to equal the maximum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Definition at line 4583 of file ConstraintProto.java.

◆ clearLinMin()

Builder clearLinMin ( )
inline
The lin_min constraint forces the target to equal the minimum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_min = 28;

Definition at line 4964 of file ConstraintProto.java.

◆ clearName()

Builder clearName ( )
inline
For debug/logging only. Can be empty.

string name = 1;

Returns
This builder for chaining.

Definition at line 2939 of file ConstraintProto.java.

◆ clearNoOverlap()

Builder clearNoOverlap ( )
inline
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;

Definition at line 7379 of file ConstraintProto.java.

◆ clearNoOverlap2D()

Builder clearNoOverlap2D ( )
inline
The no_overlap_2d constraint prevents a set of boxes from overlapping.

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Definition at line 7562 of file ConstraintProto.java.

◆ clearOneof()

.lang.Override Builder clearOneof ( com.google.protobuf.Descriptors.OneofDescriptor  oneof)
inline

Definition at line 2678 of file ConstraintProto.java.

◆ clearReservoir()

Builder clearReservoir ( )
inline
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;

Definition at line 6998 of file ConstraintProto.java.

◆ clearRoutes()

Builder clearRoutes ( )
inline
The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Definition at line 6065 of file ConstraintProto.java.

◆ clearTable()

Builder clearTable ( )
inline
The table constraint enforces what values a tuple of variables may
take.

.operations_research.sat.TableConstraintProto table = 16;

Definition at line 6434 of file ConstraintProto.java.

◆ clone()

.lang.Override Builder clone ( )
inline

Definition at line 2663 of file ConstraintProto.java.

◆ getAllDiff()

.lang.Override com.google.ortools.sat.AllDifferentConstraintProto getAllDiff ( )
inline
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 5432 of file ConstraintProto.java.

◆ getAllDiffBuilder()

The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Definition at line 5539 of file ConstraintProto.java.

◆ getAllDiffOrBuilder()

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

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Implements ConstraintProtoOrBuilder.

Definition at line 5550 of file ConstraintProto.java.

◆ getAtMostOne()

.lang.Override com.google.ortools.sat.BoolArgumentProto getAtMostOne ( )
inline
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.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Returns
The atMostOne.

Implements ConstraintProtoOrBuilder.

Definition at line 3562 of file ConstraintProto.java.

◆ getAtMostOneBuilder()

com.google.ortools.sat.BoolArgumentProto.Builder getAtMostOneBuilder ( )
inline
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.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Definition at line 3689 of file ConstraintProto.java.

◆ getAtMostOneOrBuilder()

.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getAtMostOneOrBuilder ( )
inline
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.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Implements ConstraintProtoOrBuilder.

Definition at line 3704 of file ConstraintProto.java.

◆ getAutomaton()

.lang.Override com.google.ortools.sat.AutomatonConstraintProto getAutomaton ( )
inline
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 6532 of file ConstraintProto.java.

◆ getAutomatonBuilder()

The automaton constraint forces a sequence of variables to be accepted
by an automaton.

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Definition at line 6644 of file ConstraintProto.java.

◆ getAutomatonOrBuilder()

.lang.Override com.google.ortools.sat.AutomatonConstraintProtoOrBuilder getAutomatonOrBuilder ( )
inline
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 6656 of file ConstraintProto.java.

◆ getBoolAnd()

.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolAnd ( )
inline
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. 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 3356 of file ConstraintProto.java.

◆ getBoolAndBuilder()

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. It is just more space efficient and handled
slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Definition at line 3478 of file ConstraintProto.java.

◆ getBoolAndOrBuilder()

.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolAndOrBuilder ( )
inline
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. It is just more space efficient and handled
slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Implements ConstraintProtoOrBuilder.

Definition at line 3492 of file ConstraintProto.java.

◆ getBoolOr()

.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolOr ( )
inline
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 3173 of file ConstraintProto.java.

◆ getBoolOrBuilder()

The bool_or constraint forces at least one literal to be true.

.operations_research.sat.BoolArgumentProto bool_or = 3;

Definition at line 3280 of file ConstraintProto.java.

◆ getBoolOrOrBuilder()

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

.operations_research.sat.BoolArgumentProto bool_or = 3;

Implements ConstraintProtoOrBuilder.

Definition at line 3291 of file ConstraintProto.java.

◆ getBoolXor()

.lang.Override com.google.ortools.sat.BoolArgumentProto getBoolXor ( )
inline
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 3767 of file ConstraintProto.java.

◆ getBoolXorBuilder()

The bool_xor constraint forces an odd number of the literals to be true.

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Definition at line 3874 of file ConstraintProto.java.

◆ getBoolXorOrBuilder()

.lang.Override com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolXorOrBuilder ( )
inline
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 3885 of file ConstraintProto.java.

◆ getCircuit()

.lang.Override com.google.ortools.sat.CircuitConstraintProto getCircuit ( )
inline
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 5797 of file ConstraintProto.java.

◆ getCircuitBuilder()

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;

Definition at line 5909 of file ConstraintProto.java.

◆ getCircuitCovering()

.lang.Override com.google.ortools.sat.CircuitCoveringConstraintProto getCircuitCovering ( )
inline
The circuit_covering constraint is similar to the circuit constraint,
but allows multiple non-overlapping cycles instead of just one.

.operations_research.sat.CircuitCoveringConstraintProto circuit_covering = 25;

Returns
The circuitCovering.

Implements ConstraintProtoOrBuilder.

Definition at line 6160 of file ConstraintProto.java.

◆ getCircuitCoveringBuilder()

The circuit_covering constraint is similar to the circuit constraint,
but allows multiple non-overlapping cycles instead of just one.

.operations_research.sat.CircuitCoveringConstraintProto circuit_covering = 25;

Definition at line 6272 of file ConstraintProto.java.

◆ getCircuitCoveringOrBuilder()

.lang.Override com.google.ortools.sat.CircuitCoveringConstraintProtoOrBuilder getCircuitCoveringOrBuilder ( )
inline
The circuit_covering constraint is similar to the circuit constraint,
but allows multiple non-overlapping cycles instead of just one.

.operations_research.sat.CircuitCoveringConstraintProto circuit_covering = 25;

Implements ConstraintProtoOrBuilder.

Definition at line 6284 of file ConstraintProto.java.

◆ getCircuitOrBuilder()

.lang.Override com.google.ortools.sat.CircuitConstraintProtoOrBuilder getCircuitOrBuilder ( )
inline
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 5921 of file ConstraintProto.java.

◆ getConstraintCase()

ConstraintCase getConstraintCase ( )
inline

Implements ConstraintProtoOrBuilder.

Definition at line 2856 of file ConstraintProto.java.

◆ getCumulative()

.lang.Override com.google.ortools.sat.CumulativeConstraintProto getCumulative ( )
inline
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 7659 of file ConstraintProto.java.

◆ getCumulativeBuilder()

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;

Definition at line 7776 of file ConstraintProto.java.

◆ getCumulativeOrBuilder()

.lang.Override com.google.ortools.sat.CumulativeConstraintProtoOrBuilder getCumulativeOrBuilder ( )
inline
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 7789 of file ConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 2459 of file ConstraintProto.java.

◆ getDescriptor()

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

Definition at line 2413 of file ConstraintProto.java.

◆ getDescriptorForType()

.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType ( )
inline

Definition at line 2454 of file ConstraintProto.java.

◆ getElement()

.lang.Override com.google.ortools.sat.ElementConstraintProto getElement ( )
inline
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 5611 of file ConstraintProto.java.

◆ getElementBuilder()

The element constraint forces the variable with the given index
to be equal to the target.

.operations_research.sat.ElementConstraintProto element = 14;

Definition at line 5723 of file ConstraintProto.java.

◆ getElementOrBuilder()

.lang.Override com.google.ortools.sat.ElementConstraintProtoOrBuilder getElementOrBuilder ( )
inline
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 5735 of file ConstraintProto.java.

◆ getEnforcementLiteral()

int getEnforcementLiteral ( int  index)
inline
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 3039 of file ConstraintProto.java.

◆ getEnforcementLiteralCount()

int getEnforcementLiteralCount ( )
inline
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 3016 of file ConstraintProto.java.

◆ getEnforcementLiteralList()

java.util.List<java.lang.Integer> getEnforcementLiteralList ( )
inline
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 2993 of file ConstraintProto.java.

◆ getIntDiv()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntDiv ( )
inline
The int_div constraint forces the target to equal vars[0] / vars[1].

.operations_research.sat.IntegerArgumentProto int_div = 7;

Returns
The intDiv.

Implements ConstraintProtoOrBuilder.

Definition at line 3944 of file ConstraintProto.java.

◆ getIntDivBuilder()

The int_div constraint forces the target to equal vars[0] / vars[1].

.operations_research.sat.IntegerArgumentProto int_div = 7;

Definition at line 4051 of file ConstraintProto.java.

◆ getIntDivOrBuilder()

.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntDivOrBuilder ( )
inline
The int_div constraint forces the target to equal vars[0] / vars[1].

.operations_research.sat.IntegerArgumentProto int_div = 7;

Implements ConstraintProtoOrBuilder.

Definition at line 4062 of file ConstraintProto.java.

◆ getInterval()

.lang.Override com.google.ortools.sat.IntervalConstraintProto getInterval ( )
inline
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 7099 of file ConstraintProto.java.

◆ getIntervalBuilder()

The interval constraint takes a start, end, and size, and forces
start + size == end.

.operations_research.sat.IntervalConstraintProto interval = 19;

Definition at line 7211 of file ConstraintProto.java.

◆ getIntervalOrBuilder()

.lang.Override com.google.ortools.sat.IntervalConstraintProtoOrBuilder getIntervalOrBuilder ( )
inline
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 7223 of file ConstraintProto.java.

◆ getIntMax()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMax ( )
inline
The int_max constraint forces the target to equal the maximum of all
variables.
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 4302 of file ConstraintProto.java.

◆ getIntMaxBuilder()

The int_max constraint forces the target to equal the maximum of all
variables.
TODO(user): Remove int_max in favor of lin_max.

.operations_research.sat.IntegerArgumentProto int_max = 9;

Definition at line 4419 of file ConstraintProto.java.

◆ getIntMaxOrBuilder()

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

.operations_research.sat.IntegerArgumentProto int_max = 9;

Implements ConstraintProtoOrBuilder.

Definition at line 4432 of file ConstraintProto.java.

◆ getIntMin()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMin ( )
inline
The int_min constraint forces the target to equal the minimum of all
variables.
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 4683 of file ConstraintProto.java.

◆ getIntMinBuilder()

The int_min constraint forces the target to equal the minimum of all
variables.
TODO(user): Remove int_min in favor of lin_min.

.operations_research.sat.IntegerArgumentProto int_min = 10;

Definition at line 4800 of file ConstraintProto.java.

◆ getIntMinOrBuilder()

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

.operations_research.sat.IntegerArgumentProto int_min = 10;

Implements ConstraintProtoOrBuilder.

Definition at line 4813 of file ConstraintProto.java.

◆ getIntMod()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntMod ( )
inline
The int_mod constraint forces the target to equal vars[0] % vars[1].

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Returns
The intMod.

Implements ConstraintProtoOrBuilder.

Definition at line 4121 of file ConstraintProto.java.

◆ getIntModBuilder()

The int_mod constraint forces the target to equal vars[0] % vars[1].

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Definition at line 4228 of file ConstraintProto.java.

◆ getIntModOrBuilder()

.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntModOrBuilder ( )
inline
The int_mod constraint forces the target to equal vars[0] % vars[1].

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Implements ConstraintProtoOrBuilder.

Definition at line 4239 of file ConstraintProto.java.

◆ getIntProd()

.lang.Override com.google.ortools.sat.IntegerArgumentProto getIntProd ( )
inline
The int_prod constraint forces the target to equal the product of all
variables.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Returns
The intProd.

Implements ConstraintProtoOrBuilder.

Definition at line 5062 of file ConstraintProto.java.

◆ getIntProdBuilder()

The int_prod constraint forces the target to equal the product of all
variables.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Definition at line 5174 of file ConstraintProto.java.

◆ getIntProdOrBuilder()

.lang.Override com.google.ortools.sat.IntegerArgumentProtoOrBuilder getIntProdOrBuilder ( )
inline
The int_prod constraint forces the target to equal the product of all
variables.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Implements ConstraintProtoOrBuilder.

Definition at line 5186 of file ConstraintProto.java.

◆ getInverse()

.lang.Override com.google.ortools.sat.InverseConstraintProto getInverse ( )
inline
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 6718 of file ConstraintProto.java.

◆ getInverseBuilder()

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;

Definition at line 6830 of file ConstraintProto.java.

◆ getInverseOrBuilder()

.lang.Override com.google.ortools.sat.InverseConstraintProtoOrBuilder getInverseOrBuilder ( )
inline
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 6842 of file ConstraintProto.java.

◆ getLinear()

.lang.Override com.google.ortools.sat.LinearConstraintProto getLinear ( )
inline
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 5248 of file ConstraintProto.java.

◆ getLinearBuilder()

The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.

.operations_research.sat.LinearConstraintProto linear = 12;

Definition at line 5360 of file ConstraintProto.java.

◆ getLinearOrBuilder()

.lang.Override com.google.ortools.sat.LinearConstraintProtoOrBuilder getLinearOrBuilder ( )
inline
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 5372 of file ConstraintProto.java.

◆ getLinMax()

.lang.Override com.google.ortools.sat.LinearArgumentProto getLinMax ( )
inline
The lin_max constraint forces the target to equal the maximum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Returns
The linMax.

Implements ConstraintProtoOrBuilder.

Definition at line 4495 of file ConstraintProto.java.

◆ getLinMaxBuilder()

The lin_max constraint forces the target to equal the maximum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Definition at line 4607 of file ConstraintProto.java.

◆ getLinMaxOrBuilder()

.lang.Override com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMaxOrBuilder ( )
inline
The lin_max constraint forces the target to equal the maximum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Implements ConstraintProtoOrBuilder.

Definition at line 4619 of file ConstraintProto.java.

◆ getLinMin()

.lang.Override com.google.ortools.sat.LinearArgumentProto getLinMin ( )
inline
The lin_min constraint forces the target to equal the minimum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_min = 28;

Returns
The linMin.

Implements ConstraintProtoOrBuilder.

Definition at line 4876 of file ConstraintProto.java.

◆ getLinMinBuilder()

The lin_min constraint forces the target to equal the minimum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_min = 28;

Definition at line 4988 of file ConstraintProto.java.

◆ getLinMinOrBuilder()

.lang.Override com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMinOrBuilder ( )
inline
The lin_min constraint forces the target to equal the minimum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_min = 28;

Implements ConstraintProtoOrBuilder.

Definition at line 5000 of file ConstraintProto.java.

◆ getName()

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

string name = 1;

Returns
The name.

Implements ConstraintProtoOrBuilder.

Definition at line 2879 of file ConstraintProto.java.

◆ getNameBytes()

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

string name = 1;

Returns
The bytes for name.

Implements ConstraintProtoOrBuilder.

Definition at line 2900 of file ConstraintProto.java.

◆ getNoOverlap()

.lang.Override com.google.ortools.sat.NoOverlapConstraintProto getNoOverlap ( )
inline
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 7287 of file ConstraintProto.java.

◆ getNoOverlap2D()

.lang.Override com.google.ortools.sat.NoOverlap2DConstraintProto getNoOverlap2D ( )
inline
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 7478 of file ConstraintProto.java.

◆ getNoOverlap2DBuilder()

The no_overlap_2d constraint prevents a set of boxes from overlapping.

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Definition at line 7585 of file ConstraintProto.java.

◆ getNoOverlap2DOrBuilder()

.lang.Override com.google.ortools.sat.NoOverlap2DConstraintProtoOrBuilder getNoOverlap2DOrBuilder ( )
inline
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 7596 of file ConstraintProto.java.

◆ getNoOverlapBuilder()

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;

Definition at line 7404 of file ConstraintProto.java.

◆ getNoOverlapOrBuilder()

.lang.Override com.google.ortools.sat.NoOverlapConstraintProtoOrBuilder getNoOverlapOrBuilder ( )
inline
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 7417 of file ConstraintProto.java.

◆ getReservoir()

.lang.Override com.google.ortools.sat.ReservoirConstraintProto getReservoir ( )
inline
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 6906 of file ConstraintProto.java.

◆ getReservoirBuilder()

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;

Definition at line 7023 of file ConstraintProto.java.

◆ getReservoirOrBuilder()

.lang.Override com.google.ortools.sat.ReservoirConstraintProtoOrBuilder getReservoirOrBuilder ( )
inline
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 7036 of file ConstraintProto.java.

◆ getRoutes()

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

.operations_research.sat.RoutesConstraintProto routes = 23;

Returns
The routes.

Implements ConstraintProtoOrBuilder.

Definition at line 5981 of file ConstraintProto.java.

◆ getRoutesBuilder()

The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Definition at line 6088 of file ConstraintProto.java.

◆ getRoutesOrBuilder()

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

.operations_research.sat.RoutesConstraintProto routes = 23;

Implements ConstraintProtoOrBuilder.

Definition at line 6099 of file ConstraintProto.java.

◆ getTable()

.lang.Override com.google.ortools.sat.TableConstraintProto getTable ( )
inline
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 6346 of file ConstraintProto.java.

◆ getTableBuilder()

The table constraint enforces what values a tuple of variables may
take.

.operations_research.sat.TableConstraintProto table = 16;

Definition at line 6458 of file ConstraintProto.java.

◆ getTableOrBuilder()

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

.operations_research.sat.TableConstraintProto table = 16;

Implements ConstraintProtoOrBuilder.

Definition at line 6470 of file ConstraintProto.java.

◆ hasAllDiff()

.lang.Override boolean hasAllDiff ( )
inline
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 5420 of file ConstraintProto.java.

◆ hasAtMostOne()

.lang.Override boolean hasAtMostOne ( )
inline
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.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Returns
Whether the atMostOne field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 3546 of file ConstraintProto.java.

◆ hasAutomaton()

.lang.Override boolean hasAutomaton ( )
inline
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 6519 of file ConstraintProto.java.

◆ hasBoolAnd()

.lang.Override boolean hasBoolAnd ( )
inline
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. 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 3341 of file ConstraintProto.java.

◆ hasBoolOr()

.lang.Override boolean hasBoolOr ( )
inline
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 3161 of file ConstraintProto.java.

◆ hasBoolXor()

.lang.Override boolean hasBoolXor ( )
inline
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 3755 of file ConstraintProto.java.

◆ hasCircuit()

.lang.Override boolean hasCircuit ( )
inline
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 5784 of file ConstraintProto.java.

◆ hasCircuitCovering()

.lang.Override boolean hasCircuitCovering ( )
inline
The circuit_covering constraint is similar to the circuit constraint,
but allows multiple non-overlapping cycles instead of just one.

.operations_research.sat.CircuitCoveringConstraintProto circuit_covering = 25;

Returns
Whether the circuitCovering field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 6147 of file ConstraintProto.java.

◆ hasCumulative()

.lang.Override boolean hasCumulative ( )
inline
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 7645 of file ConstraintProto.java.

◆ hasElement()

.lang.Override boolean hasElement ( )
inline
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 5598 of file ConstraintProto.java.

◆ hasIntDiv()

.lang.Override boolean hasIntDiv ( )
inline
The int_div constraint forces the target to equal vars[0] / vars[1].

.operations_research.sat.IntegerArgumentProto int_div = 7;

Returns
Whether the intDiv field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 3932 of file ConstraintProto.java.

◆ hasInterval()

.lang.Override boolean hasInterval ( )
inline
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 7086 of file ConstraintProto.java.

◆ hasIntMax()

.lang.Override boolean hasIntMax ( )
inline
The int_max constraint forces the target to equal the maximum of all
variables.
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 4288 of file ConstraintProto.java.

◆ hasIntMin()

.lang.Override boolean hasIntMin ( )
inline
The int_min constraint forces the target to equal the minimum of all
variables.
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 4669 of file ConstraintProto.java.

◆ hasIntMod()

.lang.Override boolean hasIntMod ( )
inline
The int_mod constraint forces the target to equal vars[0] % vars[1].

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Returns
Whether the intMod field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 4109 of file ConstraintProto.java.

◆ hasIntProd()

.lang.Override boolean hasIntProd ( )
inline
The int_prod constraint forces the target to equal the product of all
variables.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Returns
Whether the intProd field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 5049 of file ConstraintProto.java.

◆ hasInverse()

.lang.Override boolean hasInverse ( )
inline
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 6705 of file ConstraintProto.java.

◆ hasLinear()

.lang.Override boolean hasLinear ( )
inline
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 5235 of file ConstraintProto.java.

◆ hasLinMax()

.lang.Override boolean hasLinMax ( )
inline
The lin_max constraint forces the target to equal the maximum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Returns
Whether the linMax field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 4482 of file ConstraintProto.java.

◆ hasLinMin()

.lang.Override boolean hasLinMin ( )
inline
The lin_min constraint forces the target to equal the minimum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_min = 28;

Returns
Whether the linMin field is set.

Implements ConstraintProtoOrBuilder.

Definition at line 4863 of file ConstraintProto.java.

◆ hasNoOverlap()

.lang.Override boolean hasNoOverlap ( )
inline
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 7273 of file ConstraintProto.java.

◆ hasNoOverlap2D()

.lang.Override boolean hasNoOverlap2D ( )
inline
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 7466 of file ConstraintProto.java.

◆ hasReservoir()

.lang.Override boolean hasReservoir ( )
inline
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 6892 of file ConstraintProto.java.

◆ hasRoutes()

.lang.Override boolean hasRoutes ( )
inline
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 5969 of file ConstraintProto.java.

◆ hasTable()

.lang.Override boolean hasTable ( )
inline
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 6333 of file ConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 2419 of file ConstraintProto.java.

◆ isInitialized()

.lang.Override final boolean isInitialized ( )
inline

Definition at line 2831 of file ConstraintProto.java.

◆ mergeAllDiff()

The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Definition at line 5490 of file ConstraintProto.java.

◆ mergeAtMostOne()

Builder mergeAtMostOne ( com.google.ortools.sat.BoolArgumentProto  value)
inline
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.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Definition at line 3632 of file ConstraintProto.java.

◆ mergeAutomaton()

Builder mergeAutomaton ( com.google.ortools.sat.AutomatonConstraintProto  value)
inline
The automaton constraint forces a sequence of variables to be accepted
by an automaton.

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Definition at line 6593 of file ConstraintProto.java.

◆ mergeBoolAnd()

Builder mergeBoolAnd ( com.google.ortools.sat.BoolArgumentProto  value)
inline
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. It is just more space efficient and handled
slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Definition at line 3423 of file ConstraintProto.java.

◆ mergeBoolOr()

Builder mergeBoolOr ( com.google.ortools.sat.BoolArgumentProto  value)
inline
The bool_or constraint forces at least one literal to be true.

.operations_research.sat.BoolArgumentProto bool_or = 3;

Definition at line 3231 of file ConstraintProto.java.

◆ mergeBoolXor()

Builder mergeBoolXor ( com.google.ortools.sat.BoolArgumentProto  value)
inline
The bool_xor constraint forces an odd number of the literals to be true.

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Definition at line 3825 of file ConstraintProto.java.

◆ mergeCircuit()

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;

Definition at line 5858 of file ConstraintProto.java.

◆ mergeCircuitCovering()

Builder mergeCircuitCovering ( com.google.ortools.sat.CircuitCoveringConstraintProto  value)
inline
The circuit_covering constraint is similar to the circuit constraint,
but allows multiple non-overlapping cycles instead of just one.

.operations_research.sat.CircuitCoveringConstraintProto circuit_covering = 25;

Definition at line 6221 of file ConstraintProto.java.

◆ mergeCumulative()

Builder mergeCumulative ( com.google.ortools.sat.CumulativeConstraintProto  value)
inline
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;

Definition at line 7723 of file ConstraintProto.java.

◆ mergeElement()

The element constraint forces the variable with the given index
to be equal to the target.

.operations_research.sat.ElementConstraintProto element = 14;

Definition at line 5672 of file ConstraintProto.java.

◆ mergeFrom() [1/3]

Builder mergeFrom ( com.google.ortools.sat.ConstraintProto  other)
inline

Definition at line 2704 of file ConstraintProto.java.

◆ mergeFrom() [2/3]

.lang.Override Builder mergeFrom ( com.google.protobuf.CodedInputStream  input,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws java.io.IOException
inline

Definition at line 2836 of file ConstraintProto.java.

◆ mergeFrom() [3/3]

.lang.Override Builder mergeFrom ( com.google.protobuf.Message  other)
inline

Definition at line 2695 of file ConstraintProto.java.

◆ mergeIntDiv()

The int_div constraint forces the target to equal vars[0] / vars[1].

.operations_research.sat.IntegerArgumentProto int_div = 7;

Definition at line 4002 of file ConstraintProto.java.

◆ mergeInterval()

The interval constraint takes a start, end, and size, and forces
start + size == end.

.operations_research.sat.IntervalConstraintProto interval = 19;

Definition at line 7160 of file ConstraintProto.java.

◆ mergeIntMax()

The int_max constraint forces the target to equal the maximum of all
variables.
TODO(user): Remove int_max in favor of lin_max.

.operations_research.sat.IntegerArgumentProto int_max = 9;

Definition at line 4366 of file ConstraintProto.java.

◆ mergeIntMin()

The int_min constraint forces the target to equal the minimum of all
variables.
TODO(user): Remove int_min in favor of lin_min.

.operations_research.sat.IntegerArgumentProto int_min = 10;

Definition at line 4747 of file ConstraintProto.java.

◆ mergeIntMod()

The int_mod constraint forces the target to equal vars[0] % vars[1].

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Definition at line 4179 of file ConstraintProto.java.

◆ mergeIntProd()

Builder mergeIntProd ( com.google.ortools.sat.IntegerArgumentProto  value)
inline
The int_prod constraint forces the target to equal the product of all
variables.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Definition at line 5123 of file ConstraintProto.java.

◆ mergeInverse()

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;

Definition at line 6779 of file ConstraintProto.java.

◆ mergeLinear()

The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.

.operations_research.sat.LinearConstraintProto linear = 12;

Definition at line 5309 of file ConstraintProto.java.

◆ mergeLinMax()

Builder mergeLinMax ( com.google.ortools.sat.LinearArgumentProto  value)
inline
The lin_max constraint forces the target to equal the maximum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Definition at line 4556 of file ConstraintProto.java.

◆ mergeLinMin()

Builder mergeLinMin ( com.google.ortools.sat.LinearArgumentProto  value)
inline
The lin_min constraint forces the target to equal the minimum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_min = 28;

Definition at line 4937 of file ConstraintProto.java.

◆ mergeNoOverlap()

Builder mergeNoOverlap ( com.google.ortools.sat.NoOverlapConstraintProto  value)
inline
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;

Definition at line 7351 of file ConstraintProto.java.

◆ mergeNoOverlap2D()

Builder mergeNoOverlap2D ( com.google.ortools.sat.NoOverlap2DConstraintProto  value)
inline
The no_overlap_2d constraint prevents a set of boxes from overlapping.

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Definition at line 7536 of file ConstraintProto.java.

◆ mergeReservoir()

Builder mergeReservoir ( com.google.ortools.sat.ReservoirConstraintProto  value)
inline
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;

Definition at line 6970 of file ConstraintProto.java.

◆ mergeRoutes()

The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Definition at line 6039 of file ConstraintProto.java.

◆ mergeTable()

The table constraint enforces what values a tuple of variables may
take.

.operations_research.sat.TableConstraintProto table = 16;

Definition at line 6407 of file ConstraintProto.java.

◆ mergeUnknownFields()

.lang.Override final Builder mergeUnknownFields ( final com.google.protobuf.UnknownFieldSet  unknownFields)
inline

Definition at line 7833 of file ConstraintProto.java.

◆ setAllDiff() [1/2]

The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Definition at line 5452 of file ConstraintProto.java.

◆ setAllDiff() [2/2]

The all_diff constraint forces all variables to take different values.

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

Definition at line 5472 of file ConstraintProto.java.

◆ setAtMostOne() [1/2]

Builder setAtMostOne ( com.google.ortools.sat.BoolArgumentProto  value)
inline
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.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Definition at line 3586 of file ConstraintProto.java.

◆ setAtMostOne() [2/2]

Builder setAtMostOne ( com.google.ortools.sat.BoolArgumentProto.Builder  builderForValue)
inline
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.

.operations_research.sat.BoolArgumentProto at_most_one = 26;

Definition at line 3610 of file ConstraintProto.java.

◆ setAutomaton() [1/2]

The automaton constraint forces a sequence of variables to be accepted
by an automaton.

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Definition at line 6553 of file ConstraintProto.java.

◆ setAutomaton() [2/2]

Builder setAutomaton ( com.google.ortools.sat.AutomatonConstraintProto.Builder  builderForValue)
inline
The automaton constraint forces a sequence of variables to be accepted
by an automaton.

.operations_research.sat.AutomatonConstraintProto automaton = 17;

Definition at line 6574 of file ConstraintProto.java.

◆ setBoolAnd() [1/2]

Builder setBoolAnd ( com.google.ortools.sat.BoolArgumentProto  value)
inline
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. It is just more space efficient and handled
slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Definition at line 3379 of file ConstraintProto.java.

◆ setBoolAnd() [2/2]

Builder setBoolAnd ( com.google.ortools.sat.BoolArgumentProto.Builder  builderForValue)
inline
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. It is just more space efficient and handled
slightly differently internally.

.operations_research.sat.BoolArgumentProto bool_and = 4;

Definition at line 3402 of file ConstraintProto.java.

◆ setBoolOr() [1/2]

The bool_or constraint forces at least one literal to be true.

.operations_research.sat.BoolArgumentProto bool_or = 3;

Definition at line 3193 of file ConstraintProto.java.

◆ setBoolOr() [2/2]

Builder setBoolOr ( com.google.ortools.sat.BoolArgumentProto.Builder  builderForValue)
inline
The bool_or constraint forces at least one literal to be true.

.operations_research.sat.BoolArgumentProto bool_or = 3;

Definition at line 3213 of file ConstraintProto.java.

◆ setBoolXor() [1/2]

Builder setBoolXor ( com.google.ortools.sat.BoolArgumentProto  value)
inline
The bool_xor constraint forces an odd number of the literals to be true.

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Definition at line 3787 of file ConstraintProto.java.

◆ setBoolXor() [2/2]

Builder setBoolXor ( com.google.ortools.sat.BoolArgumentProto.Builder  builderForValue)
inline
The bool_xor constraint forces an odd number of the literals to be true.

.operations_research.sat.BoolArgumentProto bool_xor = 5;

Definition at line 3807 of file ConstraintProto.java.

◆ setCircuit() [1/2]

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;

Definition at line 5818 of file ConstraintProto.java.

◆ setCircuit() [2/2]

Builder setCircuit ( com.google.ortools.sat.CircuitConstraintProto.Builder  builderForValue)
inline
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;

Definition at line 5839 of file ConstraintProto.java.

◆ setCircuitCovering() [1/2]

Builder setCircuitCovering ( com.google.ortools.sat.CircuitCoveringConstraintProto  value)
inline
The circuit_covering constraint is similar to the circuit constraint,
but allows multiple non-overlapping cycles instead of just one.

.operations_research.sat.CircuitCoveringConstraintProto circuit_covering = 25;

Definition at line 6181 of file ConstraintProto.java.

◆ setCircuitCovering() [2/2]

Builder setCircuitCovering ( com.google.ortools.sat.CircuitCoveringConstraintProto.Builder  builderForValue)
inline
The circuit_covering constraint is similar to the circuit constraint,
but allows multiple non-overlapping cycles instead of just one.

.operations_research.sat.CircuitCoveringConstraintProto circuit_covering = 25;

Definition at line 6202 of file ConstraintProto.java.

◆ setCumulative() [1/2]

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;

Definition at line 7681 of file ConstraintProto.java.

◆ setCumulative() [2/2]

Builder setCumulative ( com.google.ortools.sat.CumulativeConstraintProto.Builder  builderForValue)
inline
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;

Definition at line 7703 of file ConstraintProto.java.

◆ setElement() [1/2]

The element constraint forces the variable with the given index
to be equal to the target.

.operations_research.sat.ElementConstraintProto element = 14;

Definition at line 5632 of file ConstraintProto.java.

◆ setElement() [2/2]

Builder setElement ( com.google.ortools.sat.ElementConstraintProto.Builder  builderForValue)
inline
The element constraint forces the variable with the given index
to be equal to the target.

.operations_research.sat.ElementConstraintProto element = 14;

Definition at line 5653 of file ConstraintProto.java.

◆ setEnforcementLiteral()

Builder setEnforcementLiteral ( int  index,
int  value 
)
inline
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 to set the value at.
valueThe enforcementLiteral to set.
Returns
This builder for chaining.

Definition at line 3063 of file ConstraintProto.java.

◆ setField()

.lang.Override Builder setField ( com.google.protobuf.Descriptors.FieldDescriptor  field,
java.lang.Object  value 
)
inline

Definition at line 2667 of file ConstraintProto.java.

◆ setIntDiv() [1/2]

The int_div constraint forces the target to equal vars[0] / vars[1].

.operations_research.sat.IntegerArgumentProto int_div = 7;

Definition at line 3964 of file ConstraintProto.java.

◆ setIntDiv() [2/2]

Builder setIntDiv ( com.google.ortools.sat.IntegerArgumentProto.Builder  builderForValue)
inline
The int_div constraint forces the target to equal vars[0] / vars[1].

.operations_research.sat.IntegerArgumentProto int_div = 7;

Definition at line 3984 of file ConstraintProto.java.

◆ setInterval() [1/2]

The interval constraint takes a start, end, and size, and forces
start + size == end.

.operations_research.sat.IntervalConstraintProto interval = 19;

Definition at line 7120 of file ConstraintProto.java.

◆ setInterval() [2/2]

Builder setInterval ( com.google.ortools.sat.IntervalConstraintProto.Builder  builderForValue)
inline
The interval constraint takes a start, end, and size, and forces
start + size == end.

.operations_research.sat.IntervalConstraintProto interval = 19;

Definition at line 7141 of file ConstraintProto.java.

◆ setIntMax() [1/2]

The int_max constraint forces the target to equal the maximum of all
variables.
TODO(user): Remove int_max in favor of lin_max.

.operations_research.sat.IntegerArgumentProto int_max = 9;

Definition at line 4324 of file ConstraintProto.java.

◆ setIntMax() [2/2]

Builder setIntMax ( com.google.ortools.sat.IntegerArgumentProto.Builder  builderForValue)
inline
The int_max constraint forces the target to equal the maximum of all
variables.
TODO(user): Remove int_max in favor of lin_max.

.operations_research.sat.IntegerArgumentProto int_max = 9;

Definition at line 4346 of file ConstraintProto.java.

◆ setIntMin() [1/2]

The int_min constraint forces the target to equal the minimum of all
variables.
TODO(user): Remove int_min in favor of lin_min.

.operations_research.sat.IntegerArgumentProto int_min = 10;

Definition at line 4705 of file ConstraintProto.java.

◆ setIntMin() [2/2]

Builder setIntMin ( com.google.ortools.sat.IntegerArgumentProto.Builder  builderForValue)
inline
The int_min constraint forces the target to equal the minimum of all
variables.
TODO(user): Remove int_min in favor of lin_min.

.operations_research.sat.IntegerArgumentProto int_min = 10;

Definition at line 4727 of file ConstraintProto.java.

◆ setIntMod() [1/2]

The int_mod constraint forces the target to equal vars[0] % vars[1].

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Definition at line 4141 of file ConstraintProto.java.

◆ setIntMod() [2/2]

Builder setIntMod ( com.google.ortools.sat.IntegerArgumentProto.Builder  builderForValue)
inline
The int_mod constraint forces the target to equal vars[0] % vars[1].

.operations_research.sat.IntegerArgumentProto int_mod = 8;

Definition at line 4161 of file ConstraintProto.java.

◆ setIntProd() [1/2]

The int_prod constraint forces the target to equal the product of all
variables.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Definition at line 5083 of file ConstraintProto.java.

◆ setIntProd() [2/2]

Builder setIntProd ( com.google.ortools.sat.IntegerArgumentProto.Builder  builderForValue)
inline
The int_prod constraint forces the target to equal the product of all
variables.

.operations_research.sat.IntegerArgumentProto int_prod = 11;

Definition at line 5104 of file ConstraintProto.java.

◆ setInverse() [1/2]

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;

Definition at line 6739 of file ConstraintProto.java.

◆ setInverse() [2/2]

Builder setInverse ( com.google.ortools.sat.InverseConstraintProto.Builder  builderForValue)
inline
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;

Definition at line 6760 of file ConstraintProto.java.

◆ setLinear() [1/2]

The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.

.operations_research.sat.LinearConstraintProto linear = 12;

Definition at line 5269 of file ConstraintProto.java.

◆ setLinear() [2/2]

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

.operations_research.sat.LinearConstraintProto linear = 12;

Definition at line 5290 of file ConstraintProto.java.

◆ setLinMax() [1/2]

The lin_max constraint forces the target to equal the maximum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Definition at line 4516 of file ConstraintProto.java.

◆ setLinMax() [2/2]

Builder setLinMax ( com.google.ortools.sat.LinearArgumentProto.Builder  builderForValue)
inline
The lin_max constraint forces the target to equal the maximum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_max = 27;

Definition at line 4537 of file ConstraintProto.java.

◆ setLinMin() [1/2]

The lin_min constraint forces the target to equal the minimum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_min = 28;

Definition at line 4897 of file ConstraintProto.java.

◆ setLinMin() [2/2]

Builder setLinMin ( com.google.ortools.sat.LinearArgumentProto.Builder  builderForValue)
inline
The lin_min constraint forces the target to equal the minimum of all
linear expressions.

.operations_research.sat.LinearArgumentProto lin_min = 28;

Definition at line 4918 of file ConstraintProto.java.

◆ setName()

Builder setName ( java.lang.String  value)
inline
For debug/logging only. Can be empty.

string name = 1;

Parameters
valueThe name to set.
Returns
This builder for chaining.

Definition at line 2921 of file ConstraintProto.java.

◆ setNameBytes()

Builder setNameBytes ( com.google.protobuf.ByteString  value)
inline
For debug/logging only. Can be empty.

string name = 1;

Parameters
valueThe bytes for name to set.
Returns
This builder for chaining.

Definition at line 2954 of file ConstraintProto.java.

◆ setNoOverlap() [1/2]

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;

Definition at line 7309 of file ConstraintProto.java.

◆ setNoOverlap() [2/2]

Builder setNoOverlap ( com.google.ortools.sat.NoOverlapConstraintProto.Builder  builderForValue)
inline
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;

Definition at line 7331 of file ConstraintProto.java.

◆ setNoOverlap2D() [1/2]

The no_overlap_2d constraint prevents a set of boxes from overlapping.

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Definition at line 7498 of file ConstraintProto.java.

◆ setNoOverlap2D() [2/2]

Builder setNoOverlap2D ( com.google.ortools.sat.NoOverlap2DConstraintProto.Builder  builderForValue)
inline
The no_overlap_2d constraint prevents a set of boxes from overlapping.

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

Definition at line 7518 of file ConstraintProto.java.

◆ setRepeatedField()

.lang.Override Builder setRepeatedField ( com.google.protobuf.Descriptors.FieldDescriptor  field,
int  index,
java.lang.Object  value 
)
inline

Definition at line 2683 of file ConstraintProto.java.

◆ setReservoir() [1/2]

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;

Definition at line 6928 of file ConstraintProto.java.

◆ setReservoir() [2/2]

Builder setReservoir ( com.google.ortools.sat.ReservoirConstraintProto.Builder  builderForValue)
inline
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;

Definition at line 6950 of file ConstraintProto.java.

◆ setRoutes() [1/2]

The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Definition at line 6001 of file ConstraintProto.java.

◆ setRoutes() [2/2]

Builder setRoutes ( com.google.ortools.sat.RoutesConstraintProto.Builder  builderForValue)
inline
The routes constraint implements the vehicle routing problem.

.operations_research.sat.RoutesConstraintProto routes = 23;

Definition at line 6021 of file ConstraintProto.java.

◆ setTable() [1/2]

The table constraint enforces what values a tuple of variables may
take.

.operations_research.sat.TableConstraintProto table = 16;

Definition at line 6367 of file ConstraintProto.java.

◆ setTable() [2/2]

Builder setTable ( com.google.ortools.sat.TableConstraintProto.Builder  builderForValue)
inline
The table constraint enforces what values a tuple of variables may
take.

.operations_research.sat.TableConstraintProto table = 16;

Definition at line 6388 of file ConstraintProto.java.

◆ setUnknownFields()

.lang.Override final Builder setUnknownFields ( final com.google.protobuf.UnknownFieldSet  unknownFields)
inline

Definition at line 7827 of file ConstraintProto.java.


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