Java Reference
Java Reference
Detailed Description
Next id: 29
Protobuf type
Definition at line 13 of file ConstraintProto.java.
Classes | |
| class | Builder |
| enum | ConstraintCase |
Static Public Member Functions | |
| static final com.google.protobuf.Descriptors.Descriptor | getDescriptor () |
| static com.google.ortools.sat.ConstraintProto | parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (java.io.InputStream input) throws java.io.IOException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
| static com.google.ortools.sat.ConstraintProto | parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException |
| static com.google.ortools.sat.ConstraintProto | parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException |
| static com.google.ortools.sat.ConstraintProto | parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
| static Builder | newBuilder () |
| static Builder | newBuilder (com.google.ortools.sat.ConstraintProto prototype) |
| static com.google.ortools.sat.ConstraintProto | getDefaultInstance () |
| static com.google.protobuf.Parser< ConstraintProto > | parser () |
Static Public Attributes | |
| static final int | NAME_FIELD_NUMBER = 1 |
| static final int | ENFORCEMENT_LITERAL_FIELD_NUMBER = 2 |
| static final int | BOOL_OR_FIELD_NUMBER = 3 |
| static final int | BOOL_AND_FIELD_NUMBER = 4 |
| static final int | AT_MOST_ONE_FIELD_NUMBER = 26 |
| static final int | BOOL_XOR_FIELD_NUMBER = 5 |
| static final int | INT_DIV_FIELD_NUMBER = 7 |
| static final int | INT_MOD_FIELD_NUMBER = 8 |
| static final int | INT_MAX_FIELD_NUMBER = 9 |
| static final int | LIN_MAX_FIELD_NUMBER = 27 |
| static final int | INT_MIN_FIELD_NUMBER = 10 |
| static final int | LIN_MIN_FIELD_NUMBER = 28 |
| static final int | INT_PROD_FIELD_NUMBER = 11 |
| static final int | LINEAR_FIELD_NUMBER = 12 |
| static final int | ALL_DIFF_FIELD_NUMBER = 13 |
| static final int | ELEMENT_FIELD_NUMBER = 14 |
| static final int | CIRCUIT_FIELD_NUMBER = 15 |
| static final int | ROUTES_FIELD_NUMBER = 23 |
| static final int | CIRCUIT_COVERING_FIELD_NUMBER = 25 |
| static final int | TABLE_FIELD_NUMBER = 16 |
| static final int | AUTOMATON_FIELD_NUMBER = 17 |
| static final int | INVERSE_FIELD_NUMBER = 18 |
| static final int | RESERVOIR_FIELD_NUMBER = 24 |
| static final int | INTERVAL_FIELD_NUMBER = 19 |
| static final int | NO_OVERLAP_FIELD_NUMBER = 20 |
| static final int | NO_OVERLAP_2D_FIELD_NUMBER = 21 |
| static final int | CUMULATIVE_FIELD_NUMBER = 22 |
Protected Member Functions | |
| .lang.Override java.lang.Object | newInstance (UnusedPrivateParameter unused) |
| .lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable | internalGetFieldAccessorTable () |
| .lang.Override Builder | newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent) |
Member Function Documentation
◆ equals()
|
inline |
Definition at line 2067 of file ConstraintProto.java.
◆ 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 1259 of file ConstraintProto.java.
◆ 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 1273 of file ConstraintProto.java.
◆ 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 801 of file ConstraintProto.java.
◆ 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 819 of file ConstraintProto.java.
◆ 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 1531 of file ConstraintProto.java.
◆ 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 1546 of file ConstraintProto.java.
◆ 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 747 of file ConstraintProto.java.
◆ 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 764 of file ConstraintProto.java.
◆ 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 698 of file ConstraintProto.java.
◆ 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 712 of file ConstraintProto.java.
◆ 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 848 of file ConstraintProto.java.
◆ 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 862 of file ConstraintProto.java.
◆ 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 1350 of file ConstraintProto.java.
◆ 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 1439 of file ConstraintProto.java.
◆ 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 1454 of file ConstraintProto.java.
◆ 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 1365 of file ConstraintProto.java.
◆ getConstraintCase()
|
inline |
Implements ConstraintProtoOrBuilder.
Definition at line 552 of file ConstraintProto.java.
◆ 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 1812 of file ConstraintProto.java.
◆ 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 1828 of file ConstraintProto.java.
◆ getDefaultInstance()
|
inlinestatic |
Definition at line 7848 of file ConstraintProto.java.
◆ getDefaultInstanceForType()
|
inline |
Definition at line 7873 of file ConstraintProto.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 458 of file ConstraintProto.java.
◆ 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 1304 of file ConstraintProto.java.
◆ 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 1319 of file ConstraintProto.java.
◆ getEnforcementLiteral()
|
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
-
index The index of the element to return.
- Returns
- The enforcementLiteral at the given index.
Implements ConstraintProtoOrBuilder.
Definition at line 671 of file ConstraintProto.java.
◆ 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 648 of file ConstraintProto.java.
◆ 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 626 of file ConstraintProto.java.
◆ 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 891 of file ConstraintProto.java.
◆ 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 905 of file ConstraintProto.java.
◆ 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 1672 of file ConstraintProto.java.
◆ 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 1687 of file ConstraintProto.java.
◆ 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 981 of file ConstraintProto.java.
◆ 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 997 of file ConstraintProto.java.
◆ 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 1076 of file ConstraintProto.java.
◆ 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 1092 of file ConstraintProto.java.
◆ 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 934 of file ConstraintProto.java.
◆ 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 948 of file ConstraintProto.java.
◆ 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 1169 of file ConstraintProto.java.
◆ 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 1184 of file ConstraintProto.java.
◆ 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 1577 of file ConstraintProto.java.
◆ 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 1592 of file ConstraintProto.java.
◆ 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 1215 of file ConstraintProto.java.
◆ 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 1230 of file ConstraintProto.java.
◆ 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 1028 of file ConstraintProto.java.
◆ 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 1043 of file ConstraintProto.java.
◆ 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 1123 of file ConstraintProto.java.
◆ 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 1138 of file ConstraintProto.java.
◆ getName()
|
inline |
For debug/logging only. Can be empty.
string name = 1;
- Returns
- The name.
Implements ConstraintProtoOrBuilder.
Definition at line 568 of file ConstraintProto.java.
◆ getNameBytes()
|
inline |
For debug/logging only. Can be empty.
string name = 1;
- Returns
- The bytes for name.
Implements ConstraintProtoOrBuilder.
Definition at line 590 of file ConstraintProto.java.
◆ getNoOverlap()
|
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 1720 of file ConstraintProto.java.
◆ 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 1765 of file ConstraintProto.java.
◆ 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 1779 of file ConstraintProto.java.
◆ 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 1736 of file ConstraintProto.java.
◆ getParserForType()
|
inline |
Definition at line 7868 of file ConstraintProto.java.
◆ 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 1625 of file ConstraintProto.java.
◆ 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 1641 of file ConstraintProto.java.
◆ getRoutes()
|
inline |
The routes constraint implements the vehicle routing problem.
.operations_research.sat.RoutesConstraintProto routes = 23;
- Returns
- The routes.
Implements ConstraintProtoOrBuilder.
Definition at line 1394 of file ConstraintProto.java.
◆ getRoutesOrBuilder()
|
inline |
The routes constraint implements the vehicle routing problem.
.operations_research.sat.RoutesConstraintProto routes = 23;
Implements ConstraintProtoOrBuilder.
Definition at line 1408 of file ConstraintProto.java.
◆ getSerializedSize()
|
inline |
Definition at line 1939 of file ConstraintProto.java.
◆ 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 1485 of file ConstraintProto.java.
◆ 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 1500 of file ConstraintProto.java.
◆ getUnknownFields()
|
inline |
Definition at line 36 of file ConstraintProto.java.
◆ 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 1247 of file ConstraintProto.java.
◆ 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 785 of file ConstraintProto.java.
◆ 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 1518 of file ConstraintProto.java.
◆ 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 732 of file ConstraintProto.java.
◆ 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 686 of file ConstraintProto.java.
◆ 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 836 of file ConstraintProto.java.
◆ 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 1337 of file ConstraintProto.java.
◆ 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 1426 of file ConstraintProto.java.
◆ 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 1798 of file ConstraintProto.java.
◆ 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 1291 of file ConstraintProto.java.
◆ hashCode()
|
inline |
Definition at line 2190 of file ConstraintProto.java.
◆ 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 879 of file ConstraintProto.java.
◆ 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 1659 of file ConstraintProto.java.
◆ 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 967 of file ConstraintProto.java.
◆ 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 1062 of file ConstraintProto.java.
◆ 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 922 of file ConstraintProto.java.
◆ 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 1156 of file ConstraintProto.java.
◆ 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 1564 of file ConstraintProto.java.
◆ 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 1202 of file ConstraintProto.java.
◆ 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 1015 of file ConstraintProto.java.
◆ 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 1110 of file ConstraintProto.java.
◆ 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 1706 of file ConstraintProto.java.
◆ 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 1753 of file ConstraintProto.java.
◆ 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 1611 of file ConstraintProto.java.
◆ 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 1382 of file ConstraintProto.java.
◆ 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 1472 of file ConstraintProto.java.
◆ internalGetFieldAccessorTable()
|
inlineprotected |
Definition at line 464 of file ConstraintProto.java.
◆ isInitialized()
|
inline |
Definition at line 1837 of file ConstraintProto.java.
◆ newBuilder() [1/2]
|
inlinestatic |
Definition at line 2383 of file ConstraintProto.java.
◆ newBuilder() [2/2]
|
inlinestatic |
Definition at line 2386 of file ConstraintProto.java.
◆ newBuilderForType() [1/2]
|
inline |
Definition at line 2382 of file ConstraintProto.java.
◆ newBuilderForType() [2/2]
|
inlineprotected |
Definition at line 2396 of file ConstraintProto.java.
◆ newInstance()
|
inlineprotected |
Definition at line 29 of file ConstraintProto.java.
◆ parseDelimitedFrom() [1/2]
|
inlinestatic |
Definition at line 2355 of file ConstraintProto.java.
◆ parseDelimitedFrom() [2/2]
|
inlinestatic |
Definition at line 2360 of file ConstraintProto.java.
◆ parseFrom() [1/10]
|
inlinestatic |
Definition at line 2333 of file ConstraintProto.java.
◆ parseFrom() [2/10]
|
inlinestatic |
Definition at line 2337 of file ConstraintProto.java.
◆ parseFrom() [3/10]
|
inlinestatic |
Definition at line 2322 of file ConstraintProto.java.
◆ parseFrom() [4/10]
|
inlinestatic |
Definition at line 2327 of file ConstraintProto.java.
◆ parseFrom() [5/10]
|
inlinestatic |
Definition at line 2367 of file ConstraintProto.java.
◆ parseFrom() [6/10]
|
inlinestatic |
Definition at line 2373 of file ConstraintProto.java.
◆ parseFrom() [7/10]
|
inlinestatic |
Definition at line 2343 of file ConstraintProto.java.
◆ parseFrom() [8/10]
|
inlinestatic |
Definition at line 2348 of file ConstraintProto.java.
◆ parseFrom() [9/10]
|
inlinestatic |
Definition at line 2311 of file ConstraintProto.java.
◆ parseFrom() [10/10]
|
inlinestatic |
Definition at line 2316 of file ConstraintProto.java.
◆ parser()
|
inlinestatic |
Definition at line 7863 of file ConstraintProto.java.
◆ toBuilder()
|
inline |
Definition at line 2390 of file ConstraintProto.java.
◆ writeTo()
|
inline |
Definition at line 1847 of file ConstraintProto.java.
Member Data Documentation
◆ ALL_DIFF_FIELD_NUMBER
|
static |
Definition at line 1237 of file ConstraintProto.java.
◆ AT_MOST_ONE_FIELD_NUMBER
|
static |
Definition at line 771 of file ConstraintProto.java.
◆ AUTOMATON_FIELD_NUMBER
|
static |
Definition at line 1507 of file ConstraintProto.java.
◆ BOOL_AND_FIELD_NUMBER
|
static |
Definition at line 719 of file ConstraintProto.java.
◆ BOOL_OR_FIELD_NUMBER
|
static |
Definition at line 676 of file ConstraintProto.java.
◆ BOOL_XOR_FIELD_NUMBER
|
static |
Definition at line 826 of file ConstraintProto.java.
◆ CIRCUIT_COVERING_FIELD_NUMBER
|
static |
Definition at line 1415 of file ConstraintProto.java.
◆ CIRCUIT_FIELD_NUMBER
|
static |
Definition at line 1326 of file ConstraintProto.java.
◆ CUMULATIVE_FIELD_NUMBER
|
static |
Definition at line 1786 of file ConstraintProto.java.
◆ ELEMENT_FIELD_NUMBER
|
static |
Definition at line 1280 of file ConstraintProto.java.
◆ ENFORCEMENT_LITERAL_FIELD_NUMBER
|
static |
Definition at line 603 of file ConstraintProto.java.
◆ INT_DIV_FIELD_NUMBER
|
static |
Definition at line 869 of file ConstraintProto.java.
◆ INT_MAX_FIELD_NUMBER
|
static |
Definition at line 955 of file ConstraintProto.java.
◆ INT_MIN_FIELD_NUMBER
|
static |
Definition at line 1050 of file ConstraintProto.java.
◆ INT_MOD_FIELD_NUMBER
|
static |
Definition at line 912 of file ConstraintProto.java.
◆ INT_PROD_FIELD_NUMBER
|
static |
Definition at line 1145 of file ConstraintProto.java.
◆ INTERVAL_FIELD_NUMBER
|
static |
Definition at line 1648 of file ConstraintProto.java.
◆ INVERSE_FIELD_NUMBER
|
static |
Definition at line 1553 of file ConstraintProto.java.
◆ LIN_MAX_FIELD_NUMBER
|
static |
Definition at line 1004 of file ConstraintProto.java.
◆ LIN_MIN_FIELD_NUMBER
|
static |
Definition at line 1099 of file ConstraintProto.java.
◆ LINEAR_FIELD_NUMBER
|
static |
Definition at line 1191 of file ConstraintProto.java.
◆ NAME_FIELD_NUMBER
|
static |
Definition at line 557 of file ConstraintProto.java.
◆ NO_OVERLAP_2D_FIELD_NUMBER
|
static |
Definition at line 1743 of file ConstraintProto.java.
◆ NO_OVERLAP_FIELD_NUMBER
|
static |
Definition at line 1694 of file ConstraintProto.java.
◆ RESERVOIR_FIELD_NUMBER
|
static |
Definition at line 1599 of file ConstraintProto.java.
◆ ROUTES_FIELD_NUMBER
|
static |
Definition at line 1372 of file ConstraintProto.java.
◆ TABLE_FIELD_NUMBER
|
static |
Definition at line 1461 of file ConstraintProto.java.
The documentation for this class was generated from the following file: