Uses of Class
com.google.ortools.sat.ConstraintProto.Builder
Packages that use ConstraintProto.Builder
-
Uses of ConstraintProto.Builder in com.google.ortools.sat
Subclasses with type arguments of type ConstraintProto.Builder in com.google.ortools.satMethods in com.google.ortools.sat that return ConstraintProto.BuilderModifier and TypeMethodDescriptionConstraintProto.Builder.addAllEnforcementLiteral(Iterable<? extends Integer> values) The constraint will be enforced iff all literals listed here are true.CpModelProto.Builder.addConstraintsBuilder()repeated .operations_research.sat.ConstraintProto constraints = 3;CpModelProto.Builder.addConstraintsBuilder(int index) repeated .operations_research.sat.ConstraintProto constraints = 3;ConstraintProto.Builder.addEnforcementLiteral(int value) The constraint will be enforced iff all literals listed here are true.ConstraintProto.Builder.clear()ConstraintProto.Builder.clearAllDiff()The all_diff constraint forces all variables to take different values.ConstraintProto.Builder.clearAtMostOne()The at_most_one constraint enforces that no more than one literal is true at the same time.ConstraintProto.Builder.clearAutomaton()The automaton constraint forces a sequence of variables to be accepted by an automaton.ConstraintProto.Builder.clearBoolAnd()The bool_and constraint forces all of the literals to be true.ConstraintProto.Builder.clearBoolOr()The bool_or constraint forces at least one literal to be true.ConstraintProto.Builder.clearBoolXor()The bool_xor constraint forces an odd number of the literals to be true.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.clearConstraint()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.clearDummyConstraint()This constraint is not meant to be used and will be rejected by the solver.ConstraintProto.Builder.clearElement()The element constraint forces the variable with the given index to be equal to the target.ConstraintProto.Builder.clearEnforcementLiteral()The constraint will be enforced iff all literals listed here are true.ConstraintProto.Builder.clearExactlyOne()The exactly_one constraint force exactly one literal to true and no more.ConstraintProto.Builder.clearIntDiv()The int_div constraint forces the target to equal exprs[0] / exprs[1].ConstraintProto.Builder.clearInterval()The interval constraint takes a start, end, and size, and forces start + size == end.ConstraintProto.Builder.clearIntMod()The int_mod constraint forces the target to equal exprs[0] % exprs[1].ConstraintProto.Builder.clearIntProd()The int_prod constraint forces the target to equal the product of all variables.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.clearLinear()The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.ConstraintProto.Builder.clearLinMax()The lin_max constraint forces the target to equal the maximum of all linear expressions.ConstraintProto.Builder.clearName()For debug/logging only.ConstraintProto.Builder.clearNoOverlap()The no_overlap constraint prevents a set of intervals from overlapping; in scheduling, this is called a disjunctive constraint.ConstraintProto.Builder.clearNoOverlap2D()The no_overlap_2d constraint prevents a set of boxes from overlapping.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.clearRoutes()The routes constraint implements the vehicle routing problem.ConstraintProto.Builder.clearTable()The table constraint enforces what values a tuple of variables may take.Constraint.getBuilder()Returns the constraint builder.CpModelProto.Builder.getConstraintsBuilder(int index) repeated .operations_research.sat.ConstraintProto constraints = 3;ConstraintProto.Builder.mergeAllDiff(AllDifferentConstraintProto value) The all_diff constraint forces all variables to take different values.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.mergeAutomaton(AutomatonConstraintProto value) The automaton constraint forces a sequence of variables to be accepted by an automaton.ConstraintProto.Builder.mergeBoolAnd(BoolArgumentProto value) The bool_and constraint forces all of the literals to be true.ConstraintProto.Builder.mergeBoolOr(BoolArgumentProto value) The bool_or constraint forces at least one literal to be true.ConstraintProto.Builder.mergeBoolXor(BoolArgumentProto value) The bool_xor constraint forces an odd number of the literals to be true.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.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.mergeDummyConstraint(ListOfVariablesProto value) This constraint is not meant to be used and will be rejected by the solver.ConstraintProto.Builder.mergeElement(ElementConstraintProto value) The element constraint forces the variable with the given index to be equal to the target.ConstraintProto.Builder.mergeExactlyOne(BoolArgumentProto value) The exactly_one constraint force exactly one literal to true and no more.ConstraintProto.Builder.mergeFrom(ConstraintProto other) ConstraintProto.Builder.mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) ConstraintProto.Builder.mergeFrom(com.google.protobuf.Message other) ConstraintProto.Builder.mergeIntDiv(LinearArgumentProto value) The int_div constraint forces the target to equal exprs[0] / exprs[1].ConstraintProto.Builder.mergeInterval(IntervalConstraintProto value) The interval constraint takes a start, end, and size, and forces start + size == end.ConstraintProto.Builder.mergeIntMod(LinearArgumentProto value) The int_mod constraint forces the target to equal exprs[0] % exprs[1].ConstraintProto.Builder.mergeIntProd(LinearArgumentProto value) The int_prod constraint forces the target to equal the product of all variables.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.mergeLinear(LinearConstraintProto value) The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.ConstraintProto.Builder.mergeLinMax(LinearArgumentProto value) The lin_max constraint forces the target to equal the maximum of all linear expressions.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.mergeNoOverlap2D(NoOverlap2DConstraintProto value) The no_overlap_2d constraint prevents a set of boxes from overlapping.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.mergeRoutes(RoutesConstraintProto value) The routes constraint implements the vehicle routing problem.ConstraintProto.Builder.mergeTable(TableConstraintProto value) The table constraint enforces what values a tuple of variables may take.static ConstraintProto.BuilderConstraintProto.newBuilder()static ConstraintProto.BuilderConstraintProto.newBuilder(ConstraintProto prototype) ConstraintProto.newBuilderForType()protected ConstraintProto.BuilderConstraintProto.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) ConstraintProto.Builder.setAllDiff(AllDifferentConstraintProto value) The all_diff constraint forces all variables to take different values.ConstraintProto.Builder.setAllDiff(AllDifferentConstraintProto.Builder builderForValue) The all_diff constraint forces all variables to take different values.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.setAtMostOne(BoolArgumentProto.Builder builderForValue) The at_most_one constraint enforces that no more than one literal is true at the same time.ConstraintProto.Builder.setAutomaton(AutomatonConstraintProto value) The automaton constraint forces a sequence of variables to be accepted by an automaton.ConstraintProto.Builder.setAutomaton(AutomatonConstraintProto.Builder builderForValue) The automaton constraint forces a sequence of variables to be accepted by an automaton.ConstraintProto.Builder.setBoolAnd(BoolArgumentProto value) The bool_and constraint forces all of the literals to be true.ConstraintProto.Builder.setBoolAnd(BoolArgumentProto.Builder builderForValue) The bool_and constraint forces all of the literals to be true.ConstraintProto.Builder.setBoolOr(BoolArgumentProto value) The bool_or constraint forces at least one literal to be true.ConstraintProto.Builder.setBoolOr(BoolArgumentProto.Builder builderForValue) The bool_or constraint forces at least one literal to be true.ConstraintProto.Builder.setBoolXor(BoolArgumentProto value) The bool_xor constraint forces an odd number of the literals to be true.ConstraintProto.Builder.setBoolXor(BoolArgumentProto.Builder builderForValue) The bool_xor constraint forces an odd number of the literals to be true.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.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.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.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.setDummyConstraint(ListOfVariablesProto value) This constraint is not meant to be used and will be rejected by the solver.ConstraintProto.Builder.setDummyConstraint(ListOfVariablesProto.Builder builderForValue) This constraint is not meant to be used and will be rejected by the solver.ConstraintProto.Builder.setElement(ElementConstraintProto value) The element constraint forces the variable with the given index to be equal to the target.ConstraintProto.Builder.setElement(ElementConstraintProto.Builder builderForValue) The element constraint forces the variable with the given index to be equal to the target.ConstraintProto.Builder.setEnforcementLiteral(int index, int value) The constraint will be enforced iff all literals listed here are true.ConstraintProto.Builder.setExactlyOne(BoolArgumentProto value) The exactly_one constraint force exactly one literal to true and no more.ConstraintProto.Builder.setExactlyOne(BoolArgumentProto.Builder builderForValue) The exactly_one constraint force exactly one literal to true and no more.ConstraintProto.Builder.setIntDiv(LinearArgumentProto value) The int_div constraint forces the target to equal exprs[0] / exprs[1].ConstraintProto.Builder.setIntDiv(LinearArgumentProto.Builder builderForValue) The int_div constraint forces the target to equal exprs[0] / exprs[1].ConstraintProto.Builder.setInterval(IntervalConstraintProto value) The interval constraint takes a start, end, and size, and forces start + size == end.ConstraintProto.Builder.setInterval(IntervalConstraintProto.Builder builderForValue) The interval constraint takes a start, end, and size, and forces start + size == end.ConstraintProto.Builder.setIntMod(LinearArgumentProto value) The int_mod constraint forces the target to equal exprs[0] % exprs[1].ConstraintProto.Builder.setIntMod(LinearArgumentProto.Builder builderForValue) The int_mod constraint forces the target to equal exprs[0] % exprs[1].ConstraintProto.Builder.setIntProd(LinearArgumentProto value) The int_prod constraint forces the target to equal the product of all variables.ConstraintProto.Builder.setIntProd(LinearArgumentProto.Builder builderForValue) The int_prod constraint forces the target to equal the product of all variables.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.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.setLinear(LinearConstraintProto value) The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.ConstraintProto.Builder.setLinear(LinearConstraintProto.Builder builderForValue) The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.ConstraintProto.Builder.setLinMax(LinearArgumentProto value) The lin_max constraint forces the target to equal the maximum of all linear expressions.ConstraintProto.Builder.setLinMax(LinearArgumentProto.Builder builderForValue) The lin_max constraint forces the target to equal the maximum of all linear expressions.For debug/logging only.ConstraintProto.Builder.setNameBytes(com.google.protobuf.ByteString value) For debug/logging only.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.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.setNoOverlap2D(NoOverlap2DConstraintProto value) The no_overlap_2d constraint prevents a set of boxes from overlapping.ConstraintProto.Builder.setNoOverlap2D(NoOverlap2DConstraintProto.Builder builderForValue) The no_overlap_2d constraint prevents a set of boxes from overlapping.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.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.setRoutes(RoutesConstraintProto value) The routes constraint implements the vehicle routing problem.ConstraintProto.Builder.setRoutes(RoutesConstraintProto.Builder builderForValue) The routes constraint implements the vehicle routing problem.ConstraintProto.Builder.setTable(TableConstraintProto value) The table constraint enforces what values a tuple of variables may take.ConstraintProto.Builder.setTable(TableConstraintProto.Builder builderForValue) The table constraint enforces what values a tuple of variables may take.ConstraintProto.toBuilder()Methods in com.google.ortools.sat that return types with arguments of type ConstraintProto.BuilderModifier and TypeMethodDescriptionCpModelProto.Builder.getConstraintsBuilderList()repeated .operations_research.sat.ConstraintProto constraints = 3;Methods in com.google.ortools.sat with parameters of type ConstraintProto.BuilderModifier and TypeMethodDescriptionCpModelProto.Builder.addConstraints(int index, ConstraintProto.Builder builderForValue) repeated .operations_research.sat.ConstraintProto constraints = 3;CpModelProto.Builder.addConstraints(ConstraintProto.Builder builderForValue) repeated .operations_research.sat.ConstraintProto constraints = 3;CpModelProto.Builder.setConstraints(int index, ConstraintProto.Builder builderForValue) repeated .operations_research.sat.ConstraintProto constraints = 3;