ConstraintProto.Builder |
ConstraintProto.Builder.addAllEnforcementLiteral(java.lang.Iterable<? extends java.lang.Integer> values) |
The constraint will be enforced iff all literals listed here are true.
|
ConstraintProto.Builder |
CpModelProto.Builder.addConstraintsBuilder() |
repeated .operations_research.sat.ConstraintProto constraints = 3;
|
ConstraintProto.Builder |
CpModelProto.Builder.addConstraintsBuilder(int index) |
repeated .operations_research.sat.ConstraintProto constraints = 3;
|
ConstraintProto.Builder |
ConstraintProto.Builder.addEnforcementLiteral(int value) |
The constraint will be enforced iff all literals listed here are true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field,
java.lang.Object value) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.clear() |
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearAllDiff() |
The all_diff constraint forces all variables to take different values.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearAtMostOne() |
The at_most_one constraint enforces that no more than one literal is
true at the same time.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearAutomaton() |
The automaton constraint forces a sequence of variables to be accepted
by an automaton.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearBoolAnd() |
The bool_and constraint forces all of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearBoolOr() |
The bool_or constraint forces at least one literal to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearBoolXor() |
The bool_xor constraint forces an odd number of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearCircuit() |
The circuit constraint takes a graph and forces the arcs present
(with arc presence indicated by a literal) to form a unique cycle.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearConstraint() |
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearCumulative() |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearDummyConstraint() |
This constraint is not meant to be used and will be rejected by the
solver.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearElement() |
The element constraint forces the variable with the given index
to be equal to the target.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearEnforcementLiteral() |
The constraint will be enforced iff all literals listed here are true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearExactlyOne() |
The exactly_one constraint force exactly one literal to true and no more.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearField(com.google.protobuf.Descriptors.FieldDescriptor field) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearIntDiv() |
The int_div constraint forces the target to equal exprs[0] / exprs[1].
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearInterval() |
The interval constraint takes a start, end, and size, and forces
start + size == end.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearIntMod() |
The int_mod constraint forces the target to equal exprs[0] % exprs[1].
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearIntProd() |
The int_prod constraint forces the target to equal the product of all
variables.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearInverse() |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearLinear() |
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearLinMax() |
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearName() |
For debug/logging only.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearNoOverlap() |
The no_overlap constraint prevents a set of intervals from
overlapping; in scheduling, this is called a disjunctive
constraint.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearNoOverlap2D() |
The no_overlap_2d constraint prevents a set of boxes from overlapping.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearReservoir() |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearRoutes() |
The routes constraint implements the vehicle routing problem.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clearTable() |
The table constraint enforces what values a tuple of variables may
take.
|
ConstraintProto.Builder |
ConstraintProto.Builder.clone() |
|
ConstraintProto.Builder |
Constraint.getBuilder() |
Returns the constraint builder.
|
ConstraintProto.Builder |
CpModelProto.Builder.getConstraintsBuilder(int index) |
repeated .operations_research.sat.ConstraintProto constraints = 3;
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeAllDiff(AllDifferentConstraintProto value) |
The all_diff constraint forces all variables to take different values.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeAtMostOne(BoolArgumentProto value) |
The at_most_one constraint enforces that no more than one literal is
true at the same time.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeAutomaton(AutomatonConstraintProto value) |
The automaton constraint forces a sequence of variables to be accepted
by an automaton.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeBoolAnd(BoolArgumentProto value) |
The bool_and constraint forces all of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeBoolOr(BoolArgumentProto value) |
The bool_or constraint forces at least one literal to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeBoolXor(BoolArgumentProto value) |
The bool_xor constraint forces an odd number of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeCircuit(CircuitConstraintProto value) |
The circuit constraint takes a graph and forces the arcs present
(with arc presence indicated by a literal) to form a unique cycle.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeCumulative(CumulativeConstraintProto value) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeDummyConstraint(ListOfVariablesProto value) |
This constraint is not meant to be used and will be rejected by the
solver.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeElement(ElementConstraintProto value) |
The element constraint forces the variable with the given index
to be equal to the target.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeExactlyOne(BoolArgumentProto value) |
The exactly_one constraint force exactly one literal to true and no more.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeFrom(ConstraintProto other) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeFrom(com.google.protobuf.Message other) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeIntDiv(LinearArgumentProto value) |
The int_div constraint forces the target to equal exprs[0] / exprs[1].
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeInterval(IntervalConstraintProto value) |
The interval constraint takes a start, end, and size, and forces
start + size == end.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeIntMod(LinearArgumentProto value) |
The int_mod constraint forces the target to equal exprs[0] % exprs[1].
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeIntProd(LinearArgumentProto value) |
The int_prod constraint forces the target to equal the product of all
variables.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeInverse(InverseConstraintProto value) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeLinear(LinearConstraintProto value) |
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeLinMax(LinearArgumentProto value) |
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeNoOverlap(NoOverlapConstraintProto value) |
The no_overlap constraint prevents a set of intervals from
overlapping; in scheduling, this is called a disjunctive
constraint.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeNoOverlap2D(NoOverlap2DConstraintProto value) |
The no_overlap_2d constraint prevents a set of boxes from overlapping.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeReservoir(ReservoirConstraintProto value) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeRoutes(RoutesConstraintProto value) |
The routes constraint implements the vehicle routing problem.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeTable(TableConstraintProto value) |
The table constraint enforces what values a tuple of variables may
take.
|
ConstraintProto.Builder |
ConstraintProto.Builder.mergeUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields) |
|
static ConstraintProto.Builder |
ConstraintProto.newBuilder() |
|
static ConstraintProto.Builder |
ConstraintProto.newBuilder(ConstraintProto prototype) |
|
ConstraintProto.Builder |
ConstraintProto.newBuilderForType() |
|
protected ConstraintProto.Builder |
ConstraintProto.newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.setAllDiff(AllDifferentConstraintProto value) |
The all_diff constraint forces all variables to take different values.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setAllDiff(AllDifferentConstraintProto.Builder builderForValue) |
The all_diff constraint forces all variables to take different values.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setAtMostOne(BoolArgumentProto value) |
The at_most_one constraint enforces that no more than one literal is
true at the same time.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setAtMostOne(BoolArgumentProto.Builder builderForValue) |
The at_most_one constraint enforces that no more than one literal is
true at the same time.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setAutomaton(AutomatonConstraintProto value) |
The automaton constraint forces a sequence of variables to be accepted
by an automaton.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setAutomaton(AutomatonConstraintProto.Builder builderForValue) |
The automaton constraint forces a sequence of variables to be accepted
by an automaton.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setBoolAnd(BoolArgumentProto value) |
The bool_and constraint forces all of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setBoolAnd(BoolArgumentProto.Builder builderForValue) |
The bool_and constraint forces all of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setBoolOr(BoolArgumentProto value) |
The bool_or constraint forces at least one literal to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setBoolOr(BoolArgumentProto.Builder builderForValue) |
The bool_or constraint forces at least one literal to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setBoolXor(BoolArgumentProto value) |
The bool_xor constraint forces an odd number of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setBoolXor(BoolArgumentProto.Builder builderForValue) |
The bool_xor constraint forces an odd number of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setCircuit(CircuitConstraintProto value) |
The circuit constraint takes a graph and forces the arcs present
(with arc presence indicated by a literal) to form a unique cycle.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setCircuit(CircuitConstraintProto.Builder builderForValue) |
The circuit constraint takes a graph and forces the arcs present
(with arc presence indicated by a literal) to form a unique cycle.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setCumulative(CumulativeConstraintProto value) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setCumulative(CumulativeConstraintProto.Builder builderForValue) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setDummyConstraint(ListOfVariablesProto value) |
This constraint is not meant to be used and will be rejected by the
solver.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setDummyConstraint(ListOfVariablesProto.Builder builderForValue) |
This constraint is not meant to be used and will be rejected by the
solver.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setElement(ElementConstraintProto value) |
The element constraint forces the variable with the given index
to be equal to the target.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setElement(ElementConstraintProto.Builder builderForValue) |
The element constraint forces the variable with the given index
to be equal to the target.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setEnforcementLiteral(int index,
int value) |
The constraint will be enforced iff all literals listed here are true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setExactlyOne(BoolArgumentProto value) |
The exactly_one constraint force exactly one literal to true and no more.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setExactlyOne(BoolArgumentProto.Builder builderForValue) |
The exactly_one constraint force exactly one literal to true and no more.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setField(com.google.protobuf.Descriptors.FieldDescriptor field,
java.lang.Object value) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.setIntDiv(LinearArgumentProto value) |
The int_div constraint forces the target to equal exprs[0] / exprs[1].
|
ConstraintProto.Builder |
ConstraintProto.Builder.setIntDiv(LinearArgumentProto.Builder builderForValue) |
The int_div constraint forces the target to equal exprs[0] / exprs[1].
|
ConstraintProto.Builder |
ConstraintProto.Builder.setInterval(IntervalConstraintProto value) |
The interval constraint takes a start, end, and size, and forces
start + size == end.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setInterval(IntervalConstraintProto.Builder builderForValue) |
The interval constraint takes a start, end, and size, and forces
start + size == end.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setIntMod(LinearArgumentProto value) |
The int_mod constraint forces the target to equal exprs[0] % exprs[1].
|
ConstraintProto.Builder |
ConstraintProto.Builder.setIntMod(LinearArgumentProto.Builder builderForValue) |
The int_mod constraint forces the target to equal exprs[0] % exprs[1].
|
ConstraintProto.Builder |
ConstraintProto.Builder.setIntProd(LinearArgumentProto value) |
The int_prod constraint forces the target to equal the product of all
variables.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setIntProd(LinearArgumentProto.Builder builderForValue) |
The int_prod constraint forces the target to equal the product of all
variables.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setInverse(InverseConstraintProto value) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setInverse(InverseConstraintProto.Builder builderForValue) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setLinear(LinearConstraintProto value) |
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setLinear(LinearConstraintProto.Builder builderForValue) |
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setLinMax(LinearArgumentProto value) |
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setLinMax(LinearArgumentProto.Builder builderForValue) |
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setName(java.lang.String value) |
For debug/logging only.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setNameBytes(com.google.protobuf.ByteString value) |
For debug/logging only.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setNoOverlap(NoOverlapConstraintProto value) |
The no_overlap constraint prevents a set of intervals from
overlapping; in scheduling, this is called a disjunctive
constraint.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setNoOverlap(NoOverlapConstraintProto.Builder builderForValue) |
The no_overlap constraint prevents a set of intervals from
overlapping; in scheduling, this is called a disjunctive
constraint.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setNoOverlap2D(NoOverlap2DConstraintProto value) |
The no_overlap_2d constraint prevents a set of boxes from overlapping.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setNoOverlap2D(NoOverlap2DConstraintProto.Builder builderForValue) |
The no_overlap_2d constraint prevents a set of boxes from overlapping.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field,
int index,
java.lang.Object value) |
|
ConstraintProto.Builder |
ConstraintProto.Builder.setReservoir(ReservoirConstraintProto value) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setReservoir(ReservoirConstraintProto.Builder builderForValue) |
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.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setRoutes(RoutesConstraintProto value) |
The routes constraint implements the vehicle routing problem.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setRoutes(RoutesConstraintProto.Builder builderForValue) |
The routes constraint implements the vehicle routing problem.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setTable(TableConstraintProto value) |
The table constraint enforces what values a tuple of variables may
take.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setTable(TableConstraintProto.Builder builderForValue) |
The table constraint enforces what values a tuple of variables may
take.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields) |
|
ConstraintProto.Builder |
ConstraintProto.toBuilder() |
|