Package | Description |
---|---|
com.google.ortools.sat |
Modifier and Type | Method and Description |
---|---|
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.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.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.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 |
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(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
ConstraintProto.Builder |
ConstraintProto.Builder.mergeFrom(ConstraintProto other) |
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.
|
static ConstraintProto.Builder |
ConstraintProto.newBuilder() |
static ConstraintProto.Builder |
ConstraintProto.newBuilder(ConstraintProto prototype) |
ConstraintProto.Builder |
ConstraintProto.newBuilderForType() |
protected ConstraintProto.Builder |
ConstraintProto.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) |
ConstraintProto.Builder |
ConstraintProto.Builder.setAllDiff(AllDifferentConstraintProto.Builder builderForValue)
The all_diff constraint forces all variables to take different values.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setAllDiff(AllDifferentConstraintProto value)
The all_diff constraint forces all variables to take different values.
|
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.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.setAutomaton(AutomatonConstraintProto.Builder builderForValue)
The automaton constraint forces a sequence of variables to be accepted
by an automaton.
|
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.setBoolAnd(BoolArgumentProto.Builder builderForValue)
The bool_and constraint forces all of the literals to be true.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setBoolAnd(BoolArgumentProto value)
The bool_and constraint forces all of the literals 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.setBoolOr(BoolArgumentProto value)
The bool_or constraint forces at least one literal 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.setBoolXor(BoolArgumentProto value)
The bool_xor constraint forces an odd number of the literals to be true.
|
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.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.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.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.setDummyConstraint(ListOfVariablesProto.Builder builderForValue)
This constraint is not meant to be used and will be rejected by the
solver.
|
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.setElement(ElementConstraintProto.Builder builderForValue)
The element constraint forces the variable with the given index
to be equal to the target.
|
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.setEnforcementLiteral(int index,
int value)
The constraint will be enforced iff all literals listed here are true.
|
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.setExactlyOne(BoolArgumentProto value)
The exactly_one constraint force exactly one literal to true and no more.
|
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.setIntDiv(LinearArgumentProto value)
The int_div constraint forces the target to equal exprs[0] / exprs[1].
|
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.setInterval(IntervalConstraintProto value)
The interval constraint takes a start, end, and size, and forces
start + size == end.
|
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.setIntMod(LinearArgumentProto value)
The int_mod constraint forces the target to equal exprs[0] % exprs[1].
|
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.setIntProd(LinearArgumentProto value)
The int_prod constraint forces the target to equal the product of all
variables.
|
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.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.setLinear(LinearConstraintProto.Builder builderForValue)
The linear constraint enforces a linear inequality among the variables,
such as 0 <= x + 2y <= 10.
|
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.setLinMax(LinearArgumentProto.Builder builderForValue)
The lin_max constraint forces the target to equal the maximum of all
linear expressions.
|
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.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.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.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.setNoOverlap2D(NoOverlap2DConstraintProto.Builder builderForValue)
The no_overlap_2d constraint prevents a set of boxes from overlapping.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setNoOverlap2D(NoOverlap2DConstraintProto value)
The no_overlap_2d constraint prevents a set of boxes from overlapping.
|
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.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.setRoutes(RoutesConstraintProto.Builder builderForValue)
The routes constraint implements the vehicle routing problem.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setRoutes(RoutesConstraintProto value)
The routes constraint implements the vehicle routing problem.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setTable(TableConstraintProto.Builder builderForValue)
The table constraint enforces what values a tuple of variables may
take.
|
ConstraintProto.Builder |
ConstraintProto.Builder.setTable(TableConstraintProto value)
The table constraint enforces what values a tuple of variables may
take.
|
ConstraintProto.Builder |
ConstraintProto.toBuilder() |
Modifier and Type | Method and Description |
---|---|
java.util.List<ConstraintProto.Builder> |
CpModelProto.Builder.getConstraintsBuilderList()
repeated .operations_research.sat.ConstraintProto constraints = 3; |
Modifier and Type | Method and Description |
---|---|
CpModelProto.Builder |
CpModelProto.Builder.addConstraints(ConstraintProto.Builder builderForValue)
repeated .operations_research.sat.ConstraintProto constraints = 3; |
CpModelProto.Builder |
CpModelProto.Builder.addConstraints(int index,
ConstraintProto.Builder builderForValue)
repeated .operations_research.sat.ConstraintProto constraints = 3; |
CpModelProto.Builder |
CpModelProto.Builder.setConstraints(int index,
ConstraintProto.Builder builderForValue)
repeated .operations_research.sat.ConstraintProto constraints = 3; |
Copyright © 2025. All rights reserved.