java.lang.Object

com.google.protobuf.AbstractMessageLite.Builder

com.google.protobuf.AbstractMessage.Builder<BuilderType>

com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>

com.google.ortools.sat.ConstraintProto.Builder

All Implemented Interfaces:: ConstraintProtoOrBuilder, com.google.protobuf.Message.Builder, com.google.protobuf.MessageLite.Builder, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, java.lang.Cloneable

Enclosing class:: ConstraintProto

public static final class ConstraintProto.Builder
extends com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
implements ConstraintProtoOrBuilder

 Next id: 30

Protobuf type operations_research.sat.ConstraintProto

Method Summary

Modifier and Type	Method	Description
`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`	`addEnforcementLiteral(int value)`	The constraint will be enforced iff all literals listed here are true.
`ConstraintProto.Builder`	`addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)`
`ConstraintProto`	`build()`
`ConstraintProto`	`buildPartial()`
`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`	`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`	`clearField(com.google.protobuf.Descriptors.FieldDescriptor field)`
`ConstraintProto.Builder`	`clearIntDiv()`	The int_div constraint forces the target to equal vars[0] / vars[1].
`ConstraintProto.Builder`	`clearInterval()`	The interval constraint takes a start, end, and size, and forces start + size == end.
`ConstraintProto.Builder`	`clearIntMax()`	The int_max constraint forces the target to equal the maximum of all variables.
`ConstraintProto.Builder`	`clearIntMin()`	The int_min constraint forces the target to equal the minimum of all variables.
`ConstraintProto.Builder`	`clearIntMod()`	The int_mod constraint forces the target to equal vars[0] % vars[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()`	`.operations_research.sat.LinearArgumentProto lin_max = 27;`
`ConstraintProto.Builder`	`clearLinMin()`	`.operations_research.sat.LinearArgumentProto lin_min = 28;`
`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`	`clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)`
`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.
`ConstraintProto.Builder`	`clone()`
`AllDifferentConstraintProto`	`getAllDiff()`	The all_diff constraint forces all variables to take different values.
`AllDifferentConstraintProto.Builder`	`getAllDiffBuilder()`	The all_diff constraint forces all variables to take different values.
`AllDifferentConstraintProtoOrBuilder`	`getAllDiffOrBuilder()`	The all_diff constraint forces all variables to take different values.
`BoolArgumentProto`	`getAtMostOne()`	The at_most_one constraint enforces that no more than one literal is true at the same time.
`BoolArgumentProto.Builder`	`getAtMostOneBuilder()`	The at_most_one constraint enforces that no more than one literal is true at the same time.
`BoolArgumentProtoOrBuilder`	`getAtMostOneOrBuilder()`	The at_most_one constraint enforces that no more than one literal is true at the same time.
`AutomatonConstraintProto`	`getAutomaton()`	The automaton constraint forces a sequence of variables to be accepted by an automaton.
`AutomatonConstraintProto.Builder`	`getAutomatonBuilder()`	The automaton constraint forces a sequence of variables to be accepted by an automaton.
`AutomatonConstraintProtoOrBuilder`	`getAutomatonOrBuilder()`	The automaton constraint forces a sequence of variables to be accepted by an automaton.
`BoolArgumentProto`	`getBoolAnd()`	The bool_and constraint forces all of the literals to be true.
`BoolArgumentProto.Builder`	`getBoolAndBuilder()`	The bool_and constraint forces all of the literals to be true.
`BoolArgumentProtoOrBuilder`	`getBoolAndOrBuilder()`	The bool_and constraint forces all of the literals to be true.
`BoolArgumentProto`	`getBoolOr()`	The bool_or constraint forces at least one literal to be true.
`BoolArgumentProto.Builder`	`getBoolOrBuilder()`	The bool_or constraint forces at least one literal to be true.
`BoolArgumentProtoOrBuilder`	`getBoolOrOrBuilder()`	The bool_or constraint forces at least one literal to be true.
`BoolArgumentProto`	`getBoolXor()`	The bool_xor constraint forces an odd number of the literals to be true.
`BoolArgumentProto.Builder`	`getBoolXorBuilder()`	The bool_xor constraint forces an odd number of the literals to be true.
`BoolArgumentProtoOrBuilder`	`getBoolXorOrBuilder()`	The bool_xor constraint forces an odd number of the literals to be true.
`CircuitConstraintProto`	`getCircuit()`	The circuit constraint takes a graph and forces the arcs present (with arc presence indicated by a literal) to form a unique cycle.
`CircuitConstraintProto.Builder`	`getCircuitBuilder()`	The circuit constraint takes a graph and forces the arcs present (with arc presence indicated by a literal) to form a unique cycle.
`CircuitConstraintProtoOrBuilder`	`getCircuitOrBuilder()`	The circuit constraint takes a graph and forces the arcs present (with arc presence indicated by a literal) to form a unique cycle.
`ConstraintProto.ConstraintCase`	`getConstraintCase()`
`CumulativeConstraintProto`	`getCumulative()`	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.
`CumulativeConstraintProto.Builder`	`getCumulativeBuilder()`	The cumulative constraint ensures that for any integer point, the sum of the demands of the intervals containing that point does not exceed the capacity.
`CumulativeConstraintProtoOrBuilder`	`getCumulativeOrBuilder()`	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`	`getDefaultInstanceForType()`
`static com.google.protobuf.Descriptors.Descriptor`	`getDescriptor()`
`com.google.protobuf.Descriptors.Descriptor`	`getDescriptorForType()`
`ElementConstraintProto`	`getElement()`	The element constraint forces the variable with the given index to be equal to the target.
`ElementConstraintProto.Builder`	`getElementBuilder()`	The element constraint forces the variable with the given index to be equal to the target.
`ElementConstraintProtoOrBuilder`	`getElementOrBuilder()`	The element constraint forces the variable with the given index to be equal to the target.
`int`	`getEnforcementLiteral(int index)`	The constraint will be enforced iff all literals listed here are true.
`int`	`getEnforcementLiteralCount()`	The constraint will be enforced iff all literals listed here are true.
`java.util.List<java.lang.Integer>`	`getEnforcementLiteralList()`	The constraint will be enforced iff all literals listed here are true.
`BoolArgumentProto`	`getExactlyOne()`	The exactly_one constraint force exactly one literal to true and no more.
`BoolArgumentProto.Builder`	`getExactlyOneBuilder()`	The exactly_one constraint force exactly one literal to true and no more.
`BoolArgumentProtoOrBuilder`	`getExactlyOneOrBuilder()`	The exactly_one constraint force exactly one literal to true and no more.
`IntegerArgumentProto`	`getIntDiv()`	The int_div constraint forces the target to equal vars[0] / vars[1].
`IntegerArgumentProto.Builder`	`getIntDivBuilder()`	The int_div constraint forces the target to equal vars[0] / vars[1].
`IntegerArgumentProtoOrBuilder`	`getIntDivOrBuilder()`	The int_div constraint forces the target to equal vars[0] / vars[1].
`IntervalConstraintProto`	`getInterval()`	The interval constraint takes a start, end, and size, and forces start + size == end.
`IntervalConstraintProto.Builder`	`getIntervalBuilder()`	The interval constraint takes a start, end, and size, and forces start + size == end.
`IntervalConstraintProtoOrBuilder`	`getIntervalOrBuilder()`	The interval constraint takes a start, end, and size, and forces start + size == end.
`IntegerArgumentProto`	`getIntMax()`	The int_max constraint forces the target to equal the maximum of all variables.
`IntegerArgumentProto.Builder`	`getIntMaxBuilder()`	The int_max constraint forces the target to equal the maximum of all variables.
`IntegerArgumentProtoOrBuilder`	`getIntMaxOrBuilder()`	The int_max constraint forces the target to equal the maximum of all variables.
`IntegerArgumentProto`	`getIntMin()`	The int_min constraint forces the target to equal the minimum of all variables.
`IntegerArgumentProto.Builder`	`getIntMinBuilder()`	The int_min constraint forces the target to equal the minimum of all variables.
`IntegerArgumentProtoOrBuilder`	`getIntMinOrBuilder()`	The int_min constraint forces the target to equal the minimum of all variables.
`IntegerArgumentProto`	`getIntMod()`	The int_mod constraint forces the target to equal vars[0] % vars[1].
`IntegerArgumentProto.Builder`	`getIntModBuilder()`	The int_mod constraint forces the target to equal vars[0] % vars[1].
`IntegerArgumentProtoOrBuilder`	`getIntModOrBuilder()`	The int_mod constraint forces the target to equal vars[0] % vars[1].
`IntegerArgumentProto`	`getIntProd()`	The int_prod constraint forces the target to equal the product of all variables.
`IntegerArgumentProto.Builder`	`getIntProdBuilder()`	The int_prod constraint forces the target to equal the product of all variables.
`IntegerArgumentProtoOrBuilder`	`getIntProdOrBuilder()`	The int_prod constraint forces the target to equal the product of all variables.
`InverseConstraintProto`	`getInverse()`	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.
`InverseConstraintProto.Builder`	`getInverseBuilder()`	The inverse constraint forces two arrays to be inverses of each other: the values of one are the indices of the other, and vice versa.
`InverseConstraintProtoOrBuilder`	`getInverseOrBuilder()`	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.
`LinearConstraintProto`	`getLinear()`	The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
`LinearConstraintProto.Builder`	`getLinearBuilder()`	The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
`LinearConstraintProtoOrBuilder`	`getLinearOrBuilder()`	The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
`LinearArgumentProto`	`getLinMax()`	`.operations_research.sat.LinearArgumentProto lin_max = 27;`
`LinearArgumentProto.Builder`	`getLinMaxBuilder()`	`.operations_research.sat.LinearArgumentProto lin_max = 27;`
`LinearArgumentProtoOrBuilder`	`getLinMaxOrBuilder()`	`.operations_research.sat.LinearArgumentProto lin_max = 27;`
`LinearArgumentProto`	`getLinMin()`	`.operations_research.sat.LinearArgumentProto lin_min = 28;`
`LinearArgumentProto.Builder`	`getLinMinBuilder()`	`.operations_research.sat.LinearArgumentProto lin_min = 28;`
`LinearArgumentProtoOrBuilder`	`getLinMinOrBuilder()`	`.operations_research.sat.LinearArgumentProto lin_min = 28;`
`java.lang.String`	`getName()`	For debug/logging only.
`com.google.protobuf.ByteString`	`getNameBytes()`	For debug/logging only.
`NoOverlapConstraintProto`	`getNoOverlap()`	The no_overlap constraint prevents a set of intervals from overlapping; in scheduling, this is called a disjunctive constraint.
`NoOverlap2DConstraintProto`	`getNoOverlap2D()`	The no_overlap_2d constraint prevents a set of boxes from overlapping.
`NoOverlap2DConstraintProto.Builder`	`getNoOverlap2DBuilder()`	The no_overlap_2d constraint prevents a set of boxes from overlapping.
`NoOverlap2DConstraintProtoOrBuilder`	`getNoOverlap2DOrBuilder()`	The no_overlap_2d constraint prevents a set of boxes from overlapping.
`NoOverlapConstraintProto.Builder`	`getNoOverlapBuilder()`	The no_overlap constraint prevents a set of intervals from overlapping; in scheduling, this is called a disjunctive constraint.
`NoOverlapConstraintProtoOrBuilder`	`getNoOverlapOrBuilder()`	The no_overlap constraint prevents a set of intervals from overlapping; in scheduling, this is called a disjunctive constraint.
`ReservoirConstraintProto`	`getReservoir()`	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.
`ReservoirConstraintProto.Builder`	`getReservoirBuilder()`	The reservoir constraint forces the sum of a set of active demands to always be between a specified minimum and maximum value during specific times.
`ReservoirConstraintProtoOrBuilder`	`getReservoirOrBuilder()`	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.
`RoutesConstraintProto`	`getRoutes()`	The routes constraint implements the vehicle routing problem.
`RoutesConstraintProto.Builder`	`getRoutesBuilder()`	The routes constraint implements the vehicle routing problem.
`RoutesConstraintProtoOrBuilder`	`getRoutesOrBuilder()`	The routes constraint implements the vehicle routing problem.
`TableConstraintProto`	`getTable()`	The table constraint enforces what values a tuple of variables may take.
`TableConstraintProto.Builder`	`getTableBuilder()`	The table constraint enforces what values a tuple of variables may take.
`TableConstraintProtoOrBuilder`	`getTableOrBuilder()`	The table constraint enforces what values a tuple of variables may take.
`boolean`	`hasAllDiff()`	The all_diff constraint forces all variables to take different values.
`boolean`	`hasAtMostOne()`	The at_most_one constraint enforces that no more than one literal is true at the same time.
`boolean`	`hasAutomaton()`	The automaton constraint forces a sequence of variables to be accepted by an automaton.
`boolean`	`hasBoolAnd()`	The bool_and constraint forces all of the literals to be true.
`boolean`	`hasBoolOr()`	The bool_or constraint forces at least one literal to be true.
`boolean`	`hasBoolXor()`	The bool_xor constraint forces an odd number of the literals to be true.
`boolean`	`hasCircuit()`	The circuit constraint takes a graph and forces the arcs present (with arc presence indicated by a literal) to form a unique cycle.
`boolean`	`hasCumulative()`	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.
`boolean`	`hasElement()`	The element constraint forces the variable with the given index to be equal to the target.
`boolean`	`hasExactlyOne()`	The exactly_one constraint force exactly one literal to true and no more.
`boolean`	`hasIntDiv()`	The int_div constraint forces the target to equal vars[0] / vars[1].
`boolean`	`hasInterval()`	The interval constraint takes a start, end, and size, and forces start + size == end.
`boolean`	`hasIntMax()`	The int_max constraint forces the target to equal the maximum of all variables.
`boolean`	`hasIntMin()`	The int_min constraint forces the target to equal the minimum of all variables.
`boolean`	`hasIntMod()`	The int_mod constraint forces the target to equal vars[0] % vars[1].
`boolean`	`hasIntProd()`	The int_prod constraint forces the target to equal the product of all variables.
`boolean`	`hasInverse()`	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.
`boolean`	`hasLinear()`	The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
`boolean`	`hasLinMax()`	`.operations_research.sat.LinearArgumentProto lin_max = 27;`
`boolean`	`hasLinMin()`	`.operations_research.sat.LinearArgumentProto lin_min = 28;`
`boolean`	`hasNoOverlap()`	The no_overlap constraint prevents a set of intervals from overlapping; in scheduling, this is called a disjunctive constraint.
`boolean`	`hasNoOverlap2D()`	The no_overlap_2d constraint prevents a set of boxes from overlapping.
`boolean`	`hasReservoir()`	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.
`boolean`	`hasRoutes()`	The routes constraint implements the vehicle routing problem.
`boolean`	`hasTable()`	The table constraint enforces what values a tuple of variables may take.
`protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable`	`internalGetFieldAccessorTable()`
`boolean`	`isInitialized()`
`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`	`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(IntegerArgumentProto value)`	The int_div constraint forces the target to equal vars[0] / vars[1].
`ConstraintProto.Builder`	`mergeInterval(IntervalConstraintProto value)`	The interval constraint takes a start, end, and size, and forces start + size == end.
`ConstraintProto.Builder`	`mergeIntMax(IntegerArgumentProto value)`	The int_max constraint forces the target to equal the maximum of all variables.
`ConstraintProto.Builder`	`mergeIntMin(IntegerArgumentProto value)`	The int_min constraint forces the target to equal the minimum of all variables.
`ConstraintProto.Builder`	`mergeIntMod(IntegerArgumentProto value)`	The int_mod constraint forces the target to equal vars[0] % vars[1].
`ConstraintProto.Builder`	`mergeIntProd(IntegerArgumentProto 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)`	`.operations_research.sat.LinearArgumentProto lin_max = 27;`
`ConstraintProto.Builder`	`mergeLinMin(LinearArgumentProto value)`	`.operations_research.sat.LinearArgumentProto lin_min = 28;`
`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.
`ConstraintProto.Builder`	`mergeUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields)`
`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`	`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`	`setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)`
`ConstraintProto.Builder`	`setIntDiv(IntegerArgumentProto value)`	The int_div constraint forces the target to equal vars[0] / vars[1].
`ConstraintProto.Builder`	`setIntDiv(IntegerArgumentProto.Builder builderForValue)`	The int_div constraint forces the target to equal vars[0] / vars[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`	`setIntMax(IntegerArgumentProto value)`	The int_max constraint forces the target to equal the maximum of all variables.
`ConstraintProto.Builder`	`setIntMax(IntegerArgumentProto.Builder builderForValue)`	The int_max constraint forces the target to equal the maximum of all variables.
`ConstraintProto.Builder`	`setIntMin(IntegerArgumentProto value)`	The int_min constraint forces the target to equal the minimum of all variables.
`ConstraintProto.Builder`	`setIntMin(IntegerArgumentProto.Builder builderForValue)`	The int_min constraint forces the target to equal the minimum of all variables.
`ConstraintProto.Builder`	`setIntMod(IntegerArgumentProto value)`	The int_mod constraint forces the target to equal vars[0] % vars[1].
`ConstraintProto.Builder`	`setIntMod(IntegerArgumentProto.Builder builderForValue)`	The int_mod constraint forces the target to equal vars[0] % vars[1].
`ConstraintProto.Builder`	`setIntProd(IntegerArgumentProto value)`	The int_prod constraint forces the target to equal the product of all variables.
`ConstraintProto.Builder`	`setIntProd(IntegerArgumentProto.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)`	`.operations_research.sat.LinearArgumentProto lin_max = 27;`
`ConstraintProto.Builder`	`setLinMax(LinearArgumentProto.Builder builderForValue)`	`.operations_research.sat.LinearArgumentProto lin_max = 27;`
`ConstraintProto.Builder`	`setLinMin(LinearArgumentProto value)`	`.operations_research.sat.LinearArgumentProto lin_min = 28;`
`ConstraintProto.Builder`	`setLinMin(LinearArgumentProto.Builder builderForValue)`	`.operations_research.sat.LinearArgumentProto lin_min = 28;`
`ConstraintProto.Builder`	`setName(java.lang.String value)`	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`	`setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)`
`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.Builder`	`setUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields)`

Methods inherited from class com.google.protobuf.GeneratedMessageV3.Builder

getAllFields, getField, getFieldBuilder, getOneofFieldDescriptor, getParentForChildren, getRepeatedField, getRepeatedFieldBuilder, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof, internalGetMapField, internalGetMutableMapField, isClean, markClean, newBuilderForField, onBuilt, onChanged, setUnknownFieldsProto3

Methods inherited from class com.google.protobuf.AbstractMessage.Builder

findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeDelimitedFrom, mergeDelimitedFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString

Methods inherited from class com.google.protobuf.AbstractMessageLite.Builder

addAll, addAll, mergeFrom, newUninitializedMessageException

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.protobuf.MessageLite.Builder

mergeFrom

Methods inherited from interface com.google.protobuf.MessageOrBuilder

findInitializationErrors, getAllFields, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

Method Details
- getDescriptor
  
  public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
- internalGetFieldAccessorTable
  
  protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
  
  Specified by:
  
  internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- clear
  
  public ConstraintProto.Builder clear()
  
  Specified by:
  
  clear in interface com.google.protobuf.Message.Builder
  
  Specified by:
  
  clear in interface com.google.protobuf.MessageLite.Builder
  
  Overrides:
  
  clear in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- getDescriptorForType
  
  public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
  
  Specified by:
  
  getDescriptorForType in interface com.google.protobuf.Message.Builder
  
  Specified by:
  
  getDescriptorForType in interface com.google.protobuf.MessageOrBuilder
  
  Overrides:
  
  getDescriptorForType in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- getDefaultInstanceForType
  
  public ConstraintProto getDefaultInstanceForType()
  
  Specified by:
  
  getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder
  
  Specified by:
  
  getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder
- build
  
  public ConstraintProto build()
  
  Specified by:
  
  build in interface com.google.protobuf.Message.Builder
  
  Specified by:
  
  build in interface com.google.protobuf.MessageLite.Builder
- buildPartial
  
  public ConstraintProto buildPartial()
  
  Specified by:
  
  buildPartial in interface com.google.protobuf.Message.Builder
  
  Specified by:
  
  buildPartial in interface com.google.protobuf.MessageLite.Builder
- clone
  
  public ConstraintProto.Builder clone()
  
  Specified by:
  
  clone in interface com.google.protobuf.Message.Builder
  
  Specified by:
  
  clone in interface com.google.protobuf.MessageLite.Builder
  
  Overrides:
  
  clone in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- setField
  
  public ConstraintProto.Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
  
  Specified by:
  
  setField in interface com.google.protobuf.Message.Builder
  
  Overrides:
  
  setField in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- clearField
  
  public ConstraintProto.Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
  
  Specified by:
  
  clearField in interface com.google.protobuf.Message.Builder
  
  Overrides:
  
  clearField in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- clearOneof
  
  public ConstraintProto.Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
  
  Specified by:
  
  clearOneof in interface com.google.protobuf.Message.Builder
  
  Overrides:
  
  clearOneof in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- setRepeatedField
  
  public ConstraintProto.Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
  
  Specified by:
  
  setRepeatedField in interface com.google.protobuf.Message.Builder
  
  Overrides:
  
  setRepeatedField in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- addRepeatedField
  
  public ConstraintProto.Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
  
  Specified by:
  
  addRepeatedField in interface com.google.protobuf.Message.Builder
  
  Overrides:
  
  addRepeatedField in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- mergeFrom
  
  public ConstraintProto.Builder mergeFrom(com.google.protobuf.Message other)
  
  Specified by:
  
  mergeFrom in interface com.google.protobuf.Message.Builder
  
  Overrides:
  
  mergeFrom in class com.google.protobuf.AbstractMessage.Builder<ConstraintProto.Builder>
- mergeFrom
  
  public ConstraintProto.Builder mergeFrom(ConstraintProto other)
- isInitialized
  
  public final boolean isInitialized()
  
  Specified by:
  
  isInitialized in interface com.google.protobuf.MessageLiteOrBuilder
  
  Overrides:
  
  isInitialized in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- mergeFrom
  
  public ConstraintProto.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
  
  Specified by:
  
  mergeFrom in interface com.google.protobuf.Message.Builder
  
  Specified by:
  
  mergeFrom in interface com.google.protobuf.MessageLite.Builder
  
  Overrides:
  
  mergeFrom in class com.google.protobuf.AbstractMessage.Builder<ConstraintProto.Builder>
  
  Throws:
  
  java.io.IOException
- getConstraintCase
  
  public ConstraintProto.ConstraintCase getConstraintCase()
  
  Specified by:
  
  getConstraintCase in interface ConstraintProtoOrBuilder
- clearConstraint
  
  public ConstraintProto.Builder clearConstraint()
- getName
  
  public java.lang.String getName()
  For debug/logging only. Can be empty.
  string name = 1;
  Specified by:
  
  getName in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The name.
- getNameBytes
  
  public com.google.protobuf.ByteString getNameBytes()
  For debug/logging only. Can be empty.
  string name = 1;
  Specified by:
  
  getNameBytes in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The bytes for name.
- setName
  
  public ConstraintProto.Builder setName(java.lang.String value)
  For debug/logging only. Can be empty.
  string name = 1;
  Parameters:
  
  value - The name to set.
  
  Returns:
  
  This builder for chaining.
- clearName
  
  public ConstraintProto.Builder clearName()
  For debug/logging only. Can be empty.
  string name = 1;
  Returns:
  
  This builder for chaining.
- setNameBytes
  
  public ConstraintProto.Builder setNameBytes(com.google.protobuf.ByteString value)
  For debug/logging only. Can be empty.
  string name = 1;
  Parameters:
  
  value - The bytes for name to set.
  
  Returns:
  
  This builder for chaining.
- getEnforcementLiteralList
  
  public java.util.List<java.lang.Integer> getEnforcementLiteralList()
  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;
  Specified by:
  
  getEnforcementLiteralList in interface ConstraintProtoOrBuilder
  
  Returns:
  
  A list containing the enforcementLiteral.
- getEnforcementLiteralCount
  
  public int getEnforcementLiteralCount()
  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;
  Specified by:
  
  getEnforcementLiteralCount in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The count of enforcementLiteral.
- getEnforcementLiteral
  
  public int getEnforcementLiteral(int index)
  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;
  Specified by:
  
  getEnforcementLiteral in interface ConstraintProtoOrBuilder
  
  Parameters:
  
  index - The index of the element to return.
  
  Returns:
  
  The enforcementLiteral at the given index.
- setEnforcementLiteral
  
  public ConstraintProto.Builder setEnforcementLiteral(int index, int value)
  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 to set the value at.
  
  value - The enforcementLiteral to set.
  
  Returns:
  
  This builder for chaining.
- addEnforcementLiteral
  
  public ConstraintProto.Builder addEnforcementLiteral(int value)
  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:
  
  value - The enforcementLiteral to add.
  
  Returns:
  
  This builder for chaining.
- addAllEnforcementLiteral
  
  public ConstraintProto.Builder addAllEnforcementLiteral(java.lang.Iterable<? extends java.lang.Integer> values)
  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:
  
  values - The enforcementLiteral to add.
  
  Returns:
  
  This builder for chaining.
- clearEnforcementLiteral
  
  public ConstraintProto.Builder clearEnforcementLiteral()
  The constraint will be enforced iff all literals listed here are true. If this is empty, then the constraint will always be enforced. An enforced constraint must be satisfied, and an un-enforced one will simply be ignored. This is also called half-reification. To have an equivalence between a literal and a constraint (full reification), one must add both a constraint (controlled by a literal l) and its negation (controlled by the negation of l). Important: as of September 2018, only a few constraint support enforcement: - bool_or, bool_and, linear: fully supported. - interval: only support a single enforcement literal. - other: no support (but can be added on a per-demand basis).
  repeated int32 enforcement_literal = 2;
  Returns:
  
  This builder for chaining.
- hasBoolOr
  
  public boolean hasBoolOr()
  The bool_or constraint forces at least one literal to be true.
  .operations_research.sat.BoolArgumentProto bool_or = 3;
  Specified by:
  
  hasBoolOr in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the boolOr field is set.
- getBoolOr
  
  public BoolArgumentProto getBoolOr()
  The bool_or constraint forces at least one literal to be true.
  .operations_research.sat.BoolArgumentProto bool_or = 3;
  Specified by:
  
  getBoolOr in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The boolOr.
- setBoolOr
  
  public ConstraintProto.Builder setBoolOr(BoolArgumentProto value)
  The bool_or constraint forces at least one literal to be true.
  .operations_research.sat.BoolArgumentProto bool_or = 3;
- setBoolOr
  
  public ConstraintProto.Builder setBoolOr(BoolArgumentProto.Builder builderForValue)
  The bool_or constraint forces at least one literal to be true.
  .operations_research.sat.BoolArgumentProto bool_or = 3;
- mergeBoolOr
  
  public ConstraintProto.Builder mergeBoolOr(BoolArgumentProto value)
  The bool_or constraint forces at least one literal to be true.
  .operations_research.sat.BoolArgumentProto bool_or = 3;
- clearBoolOr
  
  public ConstraintProto.Builder clearBoolOr()
  The bool_or constraint forces at least one literal to be true.
  .operations_research.sat.BoolArgumentProto bool_or = 3;
- getBoolOrBuilder
  
  public BoolArgumentProto.Builder getBoolOrBuilder()
  The bool_or constraint forces at least one literal to be true.
  .operations_research.sat.BoolArgumentProto bool_or = 3;
- getBoolOrOrBuilder
  
  public BoolArgumentProtoOrBuilder getBoolOrOrBuilder()
  The bool_or constraint forces at least one literal to be true.
  .operations_research.sat.BoolArgumentProto bool_or = 3;
  Specified by:
  
  getBoolOrOrBuilder in interface ConstraintProtoOrBuilder
- hasBoolAnd
  
  public boolean hasBoolAnd()
  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 or at_most_one. It is just more space efficient and handled slightly differently internally.
  .operations_research.sat.BoolArgumentProto bool_and = 4;
  Specified by:
  
  hasBoolAnd in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the boolAnd field is set.
- getBoolAnd
  
  public BoolArgumentProto getBoolAnd()
  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 or at_most_one. It is just more space efficient and handled slightly differently internally.
  .operations_research.sat.BoolArgumentProto bool_and = 4;
  Specified by:
  
  getBoolAnd in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The boolAnd.
- setBoolAnd
  
  public ConstraintProto.Builder setBoolAnd(BoolArgumentProto value)
  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 or at_most_one. It is just more space efficient and handled slightly differently internally.
  .operations_research.sat.BoolArgumentProto bool_and = 4;
- setBoolAnd
  
  public ConstraintProto.Builder setBoolAnd(BoolArgumentProto.Builder builderForValue)
  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 or at_most_one. It is just more space efficient and handled slightly differently internally.
  .operations_research.sat.BoolArgumentProto bool_and = 4;
- mergeBoolAnd
  
  public ConstraintProto.Builder mergeBoolAnd(BoolArgumentProto value)
  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 or at_most_one. It is just more space efficient and handled slightly differently internally.
  .operations_research.sat.BoolArgumentProto bool_and = 4;
- clearBoolAnd
  
  public ConstraintProto.Builder clearBoolAnd()
  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 or at_most_one. It is just more space efficient and handled slightly differently internally.
  .operations_research.sat.BoolArgumentProto bool_and = 4;
- getBoolAndBuilder
  
  public BoolArgumentProto.Builder getBoolAndBuilder()
  The bool_and constraint forces all of the literals to be true. This is a "redundant" constraint in the sense that this can easily be encoded with many bool_or or at_most_one. It is just more space efficient and handled slightly differently internally.
  .operations_research.sat.BoolArgumentProto bool_and = 4;
- getBoolAndOrBuilder
  
  public BoolArgumentProtoOrBuilder getBoolAndOrBuilder()
  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 or at_most_one. It is just more space efficient and handled slightly differently internally.
  .operations_research.sat.BoolArgumentProto bool_and = 4;
  Specified by:
  
  getBoolAndOrBuilder in interface ConstraintProtoOrBuilder
- hasAtMostOne
  
  public boolean hasAtMostOne()
  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. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto at_most_one = 26;
  Specified by:
  
  hasAtMostOne in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the atMostOne field is set.
- getAtMostOne
  
  public BoolArgumentProto getAtMostOne()
  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. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto at_most_one = 26;
  Specified by:
  
  getAtMostOne in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The atMostOne.
- setAtMostOne
  
  public ConstraintProto.Builder setAtMostOne(BoolArgumentProto value)
  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. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto at_most_one = 26;
- setAtMostOne
  
  public ConstraintProto.Builder setAtMostOne(BoolArgumentProto.Builder builderForValue)
  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. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto at_most_one = 26;
- mergeAtMostOne
  
  public ConstraintProto.Builder mergeAtMostOne(BoolArgumentProto value)
  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. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto at_most_one = 26;
- clearAtMostOne
  
  public ConstraintProto.Builder clearAtMostOne()
  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. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto at_most_one = 26;
- getAtMostOneBuilder
  
  public BoolArgumentProto.Builder getAtMostOneBuilder()
  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. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto at_most_one = 26;
- getAtMostOneOrBuilder
  
  public BoolArgumentProtoOrBuilder getAtMostOneOrBuilder()
  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. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto at_most_one = 26;
  Specified by:
  
  getAtMostOneOrBuilder in interface ConstraintProtoOrBuilder
- hasExactlyOne
  
  public boolean hasExactlyOne()
  The exactly_one constraint force exactly one literal to true and no more. Anytime a bool_or (it could have been called at_least_one) is included into an at_most_one, then the bool_or is actually an exactly one constraint, and the extra literal in the at_most_one can be set to false. So in this sense, this constraint is not really needed. it is just here for a better description of the problem structure and to facilitate some algorithm. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto exactly_one = 29;
  Specified by:
  
  hasExactlyOne in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the exactlyOne field is set.
- getExactlyOne
  
  public BoolArgumentProto getExactlyOne()
  The exactly_one constraint force exactly one literal to true and no more. Anytime a bool_or (it could have been called at_least_one) is included into an at_most_one, then the bool_or is actually an exactly one constraint, and the extra literal in the at_most_one can be set to false. So in this sense, this constraint is not really needed. it is just here for a better description of the problem structure and to facilitate some algorithm. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto exactly_one = 29;
  Specified by:
  
  getExactlyOne in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The exactlyOne.
- setExactlyOne
  
  public ConstraintProto.Builder setExactlyOne(BoolArgumentProto value)
  The exactly_one constraint force exactly one literal to true and no more. Anytime a bool_or (it could have been called at_least_one) is included into an at_most_one, then the bool_or is actually an exactly one constraint, and the extra literal in the at_most_one can be set to false. So in this sense, this constraint is not really needed. it is just here for a better description of the problem structure and to facilitate some algorithm. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto exactly_one = 29;
- setExactlyOne
  
  public ConstraintProto.Builder setExactlyOne(BoolArgumentProto.Builder builderForValue)
  The exactly_one constraint force exactly one literal to true and no more. Anytime a bool_or (it could have been called at_least_one) is included into an at_most_one, then the bool_or is actually an exactly one constraint, and the extra literal in the at_most_one can be set to false. So in this sense, this constraint is not really needed. it is just here for a better description of the problem structure and to facilitate some algorithm. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto exactly_one = 29;
- mergeExactlyOne
  
  public ConstraintProto.Builder mergeExactlyOne(BoolArgumentProto value)
  The exactly_one constraint force exactly one literal to true and no more. Anytime a bool_or (it could have been called at_least_one) is included into an at_most_one, then the bool_or is actually an exactly one constraint, and the extra literal in the at_most_one can be set to false. So in this sense, this constraint is not really needed. it is just here for a better description of the problem structure and to facilitate some algorithm. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto exactly_one = 29;
- clearExactlyOne
  
  public ConstraintProto.Builder clearExactlyOne()
  The exactly_one constraint force exactly one literal to true and no more. Anytime a bool_or (it could have been called at_least_one) is included into an at_most_one, then the bool_or is actually an exactly one constraint, and the extra literal in the at_most_one can be set to false. So in this sense, this constraint is not really needed. it is just here for a better description of the problem structure and to facilitate some algorithm. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto exactly_one = 29;
- getExactlyOneBuilder
  
  public BoolArgumentProto.Builder getExactlyOneBuilder()
  The exactly_one constraint force exactly one literal to true and no more. Anytime a bool_or (it could have been called at_least_one) is included into an at_most_one, then the bool_or is actually an exactly one constraint, and the extra literal in the at_most_one can be set to false. So in this sense, this constraint is not really needed. it is just here for a better description of the problem structure and to facilitate some algorithm. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto exactly_one = 29;
- getExactlyOneOrBuilder
  
  public BoolArgumentProtoOrBuilder getExactlyOneOrBuilder()
  The exactly_one constraint force exactly one literal to true and no more. Anytime a bool_or (it could have been called at_least_one) is included into an at_most_one, then the bool_or is actually an exactly one constraint, and the extra literal in the at_most_one can be set to false. So in this sense, this constraint is not really needed. it is just here for a better description of the problem structure and to facilitate some algorithm. This constraint does not support enforcement_literal. Just use a linear constraint if you need to enforce it. You also do not need to use it directly, we will extract it from the model in most situations.
  .operations_research.sat.BoolArgumentProto exactly_one = 29;
  Specified by:
  
  getExactlyOneOrBuilder in interface ConstraintProtoOrBuilder
- hasBoolXor
  
  public boolean hasBoolXor()
  The bool_xor constraint forces an odd number of the literals to be true.
  .operations_research.sat.BoolArgumentProto bool_xor = 5;
  Specified by:
  
  hasBoolXor in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the boolXor field is set.
- getBoolXor
  
  public BoolArgumentProto getBoolXor()
  The bool_xor constraint forces an odd number of the literals to be true.
  .operations_research.sat.BoolArgumentProto bool_xor = 5;
  Specified by:
  
  getBoolXor in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The boolXor.
- setBoolXor
  
  public ConstraintProto.Builder setBoolXor(BoolArgumentProto value)
  The bool_xor constraint forces an odd number of the literals to be true.
  .operations_research.sat.BoolArgumentProto bool_xor = 5;
- setBoolXor
  
  public ConstraintProto.Builder setBoolXor(BoolArgumentProto.Builder builderForValue)
  The bool_xor constraint forces an odd number of the literals to be true.
  .operations_research.sat.BoolArgumentProto bool_xor = 5;
- mergeBoolXor
  
  public ConstraintProto.Builder mergeBoolXor(BoolArgumentProto value)
  The bool_xor constraint forces an odd number of the literals to be true.
  .operations_research.sat.BoolArgumentProto bool_xor = 5;
- clearBoolXor
  
  public ConstraintProto.Builder clearBoolXor()
  The bool_xor constraint forces an odd number of the literals to be true.
  .operations_research.sat.BoolArgumentProto bool_xor = 5;
- getBoolXorBuilder
  
  public BoolArgumentProto.Builder getBoolXorBuilder()
  The bool_xor constraint forces an odd number of the literals to be true.
  .operations_research.sat.BoolArgumentProto bool_xor = 5;
- getBoolXorOrBuilder
  
  public BoolArgumentProtoOrBuilder getBoolXorOrBuilder()
  The bool_xor constraint forces an odd number of the literals to be true.
  .operations_research.sat.BoolArgumentProto bool_xor = 5;
  Specified by:
  
  getBoolXorOrBuilder in interface ConstraintProtoOrBuilder
- hasIntDiv
  
  public boolean hasIntDiv()
  The int_div constraint forces the target to equal vars[0] / vars[1]. In particular, vars[1] can never take the value 0.
  .operations_research.sat.IntegerArgumentProto int_div = 7;
  Specified by:
  
  hasIntDiv in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the intDiv field is set.
- getIntDiv
  
  public IntegerArgumentProto getIntDiv()
  The int_div constraint forces the target to equal vars[0] / vars[1]. In particular, vars[1] can never take the value 0.
  .operations_research.sat.IntegerArgumentProto int_div = 7;
  Specified by:
  
  getIntDiv in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The intDiv.
- setIntDiv
  
  public ConstraintProto.Builder setIntDiv(IntegerArgumentProto value)
  The int_div constraint forces the target to equal vars[0] / vars[1]. In particular, vars[1] can never take the value 0.
  .operations_research.sat.IntegerArgumentProto int_div = 7;
- setIntDiv
  
  public ConstraintProto.Builder setIntDiv(IntegerArgumentProto.Builder builderForValue)
  The int_div constraint forces the target to equal vars[0] / vars[1]. In particular, vars[1] can never take the value 0.
  .operations_research.sat.IntegerArgumentProto int_div = 7;
- mergeIntDiv
  
  public ConstraintProto.Builder mergeIntDiv(IntegerArgumentProto value)
  The int_div constraint forces the target to equal vars[0] / vars[1]. In particular, vars[1] can never take the value 0.
  .operations_research.sat.IntegerArgumentProto int_div = 7;
- clearIntDiv
  
  public ConstraintProto.Builder clearIntDiv()
  The int_div constraint forces the target to equal vars[0] / vars[1]. In particular, vars[1] can never take the value 0.
  .operations_research.sat.IntegerArgumentProto int_div = 7;
- getIntDivBuilder
  
  public IntegerArgumentProto.Builder getIntDivBuilder()
  The int_div constraint forces the target to equal vars[0] / vars[1]. In particular, vars[1] can never take the value 0.
  .operations_research.sat.IntegerArgumentProto int_div = 7;
- getIntDivOrBuilder
  
  public IntegerArgumentProtoOrBuilder getIntDivOrBuilder()
  The int_div constraint forces the target to equal vars[0] / vars[1]. In particular, vars[1] can never take the value 0.
  .operations_research.sat.IntegerArgumentProto int_div = 7;
  Specified by:
  
  getIntDivOrBuilder in interface ConstraintProtoOrBuilder
- hasIntMod
  
  public boolean hasIntMod()
  The int_mod constraint forces the target to equal vars[0] % vars[1]. The domain of vars[1] must be strictly positive.
  .operations_research.sat.IntegerArgumentProto int_mod = 8;
  Specified by:
  
  hasIntMod in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the intMod field is set.
- getIntMod
  
  public IntegerArgumentProto getIntMod()
  The int_mod constraint forces the target to equal vars[0] % vars[1]. The domain of vars[1] must be strictly positive.
  .operations_research.sat.IntegerArgumentProto int_mod = 8;
  Specified by:
  
  getIntMod in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The intMod.
- setIntMod
  
  public ConstraintProto.Builder setIntMod(IntegerArgumentProto value)
  The int_mod constraint forces the target to equal vars[0] % vars[1]. The domain of vars[1] must be strictly positive.
  .operations_research.sat.IntegerArgumentProto int_mod = 8;
- setIntMod
  
  public ConstraintProto.Builder setIntMod(IntegerArgumentProto.Builder builderForValue)
  The int_mod constraint forces the target to equal vars[0] % vars[1]. The domain of vars[1] must be strictly positive.
  .operations_research.sat.IntegerArgumentProto int_mod = 8;
- mergeIntMod
  
  public ConstraintProto.Builder mergeIntMod(IntegerArgumentProto value)
  The int_mod constraint forces the target to equal vars[0] % vars[1]. The domain of vars[1] must be strictly positive.
  .operations_research.sat.IntegerArgumentProto int_mod = 8;
- clearIntMod
  
  public ConstraintProto.Builder clearIntMod()
  The int_mod constraint forces the target to equal vars[0] % vars[1]. The domain of vars[1] must be strictly positive.
  .operations_research.sat.IntegerArgumentProto int_mod = 8;
- getIntModBuilder
  
  public IntegerArgumentProto.Builder getIntModBuilder()
  The int_mod constraint forces the target to equal vars[0] % vars[1]. The domain of vars[1] must be strictly positive.
  .operations_research.sat.IntegerArgumentProto int_mod = 8;
- getIntModOrBuilder
  
  public IntegerArgumentProtoOrBuilder getIntModOrBuilder()
  The int_mod constraint forces the target to equal vars[0] % vars[1]. The domain of vars[1] must be strictly positive.
  .operations_research.sat.IntegerArgumentProto int_mod = 8;
  Specified by:
  
  getIntModOrBuilder in interface ConstraintProtoOrBuilder
- hasIntMax
  
  public boolean hasIntMax()
  The int_max constraint forces the target to equal the maximum of all variables. The lin_max constraint forces the target to equal the maximum of all linear expressions. TODO(user): Remove int_max in favor of lin_max.
  .operations_research.sat.IntegerArgumentProto int_max = 9;
  Specified by:
  
  hasIntMax in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the intMax field is set.
- getIntMax
  
  public IntegerArgumentProto getIntMax()
  The int_max constraint forces the target to equal the maximum of all variables. The lin_max constraint forces the target to equal the maximum of all linear expressions. TODO(user): Remove int_max in favor of lin_max.
  .operations_research.sat.IntegerArgumentProto int_max = 9;
  Specified by:
  
  getIntMax in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The intMax.
- setIntMax
  
  public ConstraintProto.Builder setIntMax(IntegerArgumentProto value)
  The int_max constraint forces the target to equal the maximum of all variables. The lin_max constraint forces the target to equal the maximum of all linear expressions. TODO(user): Remove int_max in favor of lin_max.
  .operations_research.sat.IntegerArgumentProto int_max = 9;
- setIntMax
  
  public ConstraintProto.Builder setIntMax(IntegerArgumentProto.Builder builderForValue)
  The int_max constraint forces the target to equal the maximum of all variables. The lin_max constraint forces the target to equal the maximum of all linear expressions. TODO(user): Remove int_max in favor of lin_max.
  .operations_research.sat.IntegerArgumentProto int_max = 9;
- mergeIntMax
  
  public ConstraintProto.Builder mergeIntMax(IntegerArgumentProto value)
  The int_max constraint forces the target to equal the maximum of all variables. The lin_max constraint forces the target to equal the maximum of all linear expressions. TODO(user): Remove int_max in favor of lin_max.
  .operations_research.sat.IntegerArgumentProto int_max = 9;
- clearIntMax
  
  public ConstraintProto.Builder clearIntMax()
  The int_max constraint forces the target to equal the maximum of all variables. The lin_max constraint forces the target to equal the maximum of all linear expressions. TODO(user): Remove int_max in favor of lin_max.
  .operations_research.sat.IntegerArgumentProto int_max = 9;
- getIntMaxBuilder
  
  public IntegerArgumentProto.Builder getIntMaxBuilder()
  The int_max constraint forces the target to equal the maximum of all variables. The lin_max constraint forces the target to equal the maximum of all linear expressions. TODO(user): Remove int_max in favor of lin_max.
  .operations_research.sat.IntegerArgumentProto int_max = 9;
- getIntMaxOrBuilder
  
  public IntegerArgumentProtoOrBuilder getIntMaxOrBuilder()
  The int_max constraint forces the target to equal the maximum of all variables. The lin_max constraint forces the target to equal the maximum of all linear expressions. TODO(user): Remove int_max in favor of lin_max.
  .operations_research.sat.IntegerArgumentProto int_max = 9;
  Specified by:
  
  getIntMaxOrBuilder in interface ConstraintProtoOrBuilder
- hasLinMax
  
  public boolean hasLinMax()
  
  .operations_research.sat.LinearArgumentProto lin_max = 27;
  
  Specified by:
  
  hasLinMax in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the linMax field is set.
- getLinMax
  
  public LinearArgumentProto getLinMax()
  
  .operations_research.sat.LinearArgumentProto lin_max = 27;
  
  Specified by:
  
  getLinMax in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The linMax.
- setLinMax
  
  public ConstraintProto.Builder setLinMax(LinearArgumentProto value)
  
  .operations_research.sat.LinearArgumentProto lin_max = 27;
- setLinMax
  
  public ConstraintProto.Builder setLinMax(LinearArgumentProto.Builder builderForValue)
  
  .operations_research.sat.LinearArgumentProto lin_max = 27;
- mergeLinMax
  
  public ConstraintProto.Builder mergeLinMax(LinearArgumentProto value)
  
  .operations_research.sat.LinearArgumentProto lin_max = 27;
- clearLinMax
  
  public ConstraintProto.Builder clearLinMax()
  
  .operations_research.sat.LinearArgumentProto lin_max = 27;
- getLinMaxBuilder
  
  public LinearArgumentProto.Builder getLinMaxBuilder()
  
  .operations_research.sat.LinearArgumentProto lin_max = 27;
- getLinMaxOrBuilder
  
  public LinearArgumentProtoOrBuilder getLinMaxOrBuilder()
  
  .operations_research.sat.LinearArgumentProto lin_max = 27;
  
  Specified by:
  
  getLinMaxOrBuilder in interface ConstraintProtoOrBuilder
- hasIntMin
  
  public boolean hasIntMin()
  The int_min constraint forces the target to equal the minimum of all variables. The lin_min constraint forces the target to equal the minimum of all linear expressions. TODO(user): Remove int_min in favor of lin_min.
  .operations_research.sat.IntegerArgumentProto int_min = 10;
  Specified by:
  
  hasIntMin in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the intMin field is set.
- getIntMin
  
  public IntegerArgumentProto getIntMin()
  The int_min constraint forces the target to equal the minimum of all variables. The lin_min constraint forces the target to equal the minimum of all linear expressions. TODO(user): Remove int_min in favor of lin_min.
  .operations_research.sat.IntegerArgumentProto int_min = 10;
  Specified by:
  
  getIntMin in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The intMin.
- setIntMin
  
  public ConstraintProto.Builder setIntMin(IntegerArgumentProto value)
  The int_min constraint forces the target to equal the minimum of all variables. The lin_min constraint forces the target to equal the minimum of all linear expressions. TODO(user): Remove int_min in favor of lin_min.
  .operations_research.sat.IntegerArgumentProto int_min = 10;
- setIntMin
  
  public ConstraintProto.Builder setIntMin(IntegerArgumentProto.Builder builderForValue)
  The int_min constraint forces the target to equal the minimum of all variables. The lin_min constraint forces the target to equal the minimum of all linear expressions. TODO(user): Remove int_min in favor of lin_min.
  .operations_research.sat.IntegerArgumentProto int_min = 10;
- mergeIntMin
  
  public ConstraintProto.Builder mergeIntMin(IntegerArgumentProto value)
  The int_min constraint forces the target to equal the minimum of all variables. The lin_min constraint forces the target to equal the minimum of all linear expressions. TODO(user): Remove int_min in favor of lin_min.
  .operations_research.sat.IntegerArgumentProto int_min = 10;
- clearIntMin
  
  public ConstraintProto.Builder clearIntMin()
  The int_min constraint forces the target to equal the minimum of all variables. The lin_min constraint forces the target to equal the minimum of all linear expressions. TODO(user): Remove int_min in favor of lin_min.
  .operations_research.sat.IntegerArgumentProto int_min = 10;
- getIntMinBuilder
  
  public IntegerArgumentProto.Builder getIntMinBuilder()
  The int_min constraint forces the target to equal the minimum of all variables. The lin_min constraint forces the target to equal the minimum of all linear expressions. TODO(user): Remove int_min in favor of lin_min.
  .operations_research.sat.IntegerArgumentProto int_min = 10;
- getIntMinOrBuilder
  
  public IntegerArgumentProtoOrBuilder getIntMinOrBuilder()
  The int_min constraint forces the target to equal the minimum of all variables. The lin_min constraint forces the target to equal the minimum of all linear expressions. TODO(user): Remove int_min in favor of lin_min.
  .operations_research.sat.IntegerArgumentProto int_min = 10;
  Specified by:
  
  getIntMinOrBuilder in interface ConstraintProtoOrBuilder
- hasLinMin
  
  public boolean hasLinMin()
  
  .operations_research.sat.LinearArgumentProto lin_min = 28;
  
  Specified by:
  
  hasLinMin in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the linMin field is set.
- getLinMin
  
  public LinearArgumentProto getLinMin()
  
  .operations_research.sat.LinearArgumentProto lin_min = 28;
  
  Specified by:
  
  getLinMin in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The linMin.
- setLinMin
  
  public ConstraintProto.Builder setLinMin(LinearArgumentProto value)
  
  .operations_research.sat.LinearArgumentProto lin_min = 28;
- setLinMin
  
  public ConstraintProto.Builder setLinMin(LinearArgumentProto.Builder builderForValue)
  
  .operations_research.sat.LinearArgumentProto lin_min = 28;
- mergeLinMin
  
  public ConstraintProto.Builder mergeLinMin(LinearArgumentProto value)
  
  .operations_research.sat.LinearArgumentProto lin_min = 28;
- clearLinMin
  
  public ConstraintProto.Builder clearLinMin()
  
  .operations_research.sat.LinearArgumentProto lin_min = 28;
- getLinMinBuilder
  
  public LinearArgumentProto.Builder getLinMinBuilder()
  
  .operations_research.sat.LinearArgumentProto lin_min = 28;
- getLinMinOrBuilder
  
  public LinearArgumentProtoOrBuilder getLinMinOrBuilder()
  
  .operations_research.sat.LinearArgumentProto lin_min = 28;
  
  Specified by:
  
  getLinMinOrBuilder in interface ConstraintProtoOrBuilder
- hasIntProd
  
  public boolean hasIntProd()
  The int_prod constraint forces the target to equal the product of all variables. By convention, because we can just remove term equal to one, the empty product forces the target to be one. TODO(user): Support more than two terms in the product.
  .operations_research.sat.IntegerArgumentProto int_prod = 11;
  Specified by:
  
  hasIntProd in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the intProd field is set.
- getIntProd
  
  public IntegerArgumentProto getIntProd()
  The int_prod constraint forces the target to equal the product of all variables. By convention, because we can just remove term equal to one, the empty product forces the target to be one. TODO(user): Support more than two terms in the product.
  .operations_research.sat.IntegerArgumentProto int_prod = 11;
  Specified by:
  
  getIntProd in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The intProd.
- setIntProd
  
  public ConstraintProto.Builder setIntProd(IntegerArgumentProto value)
  The int_prod constraint forces the target to equal the product of all variables. By convention, because we can just remove term equal to one, the empty product forces the target to be one. TODO(user): Support more than two terms in the product.
  .operations_research.sat.IntegerArgumentProto int_prod = 11;
- setIntProd
  
  public ConstraintProto.Builder setIntProd(IntegerArgumentProto.Builder builderForValue)
  The int_prod constraint forces the target to equal the product of all variables. By convention, because we can just remove term equal to one, the empty product forces the target to be one. TODO(user): Support more than two terms in the product.
  .operations_research.sat.IntegerArgumentProto int_prod = 11;
- mergeIntProd
  
  public ConstraintProto.Builder mergeIntProd(IntegerArgumentProto value)
  The int_prod constraint forces the target to equal the product of all variables. By convention, because we can just remove term equal to one, the empty product forces the target to be one. TODO(user): Support more than two terms in the product.
  .operations_research.sat.IntegerArgumentProto int_prod = 11;
- clearIntProd
  
  public ConstraintProto.Builder clearIntProd()
  The int_prod constraint forces the target to equal the product of all variables. By convention, because we can just remove term equal to one, the empty product forces the target to be one. TODO(user): Support more than two terms in the product.
  .operations_research.sat.IntegerArgumentProto int_prod = 11;
- getIntProdBuilder
  
  public IntegerArgumentProto.Builder getIntProdBuilder()
  The int_prod constraint forces the target to equal the product of all variables. By convention, because we can just remove term equal to one, the empty product forces the target to be one. TODO(user): Support more than two terms in the product.
  .operations_research.sat.IntegerArgumentProto int_prod = 11;
- getIntProdOrBuilder
  
  public IntegerArgumentProtoOrBuilder getIntProdOrBuilder()
  The int_prod constraint forces the target to equal the product of all variables. By convention, because we can just remove term equal to one, the empty product forces the target to be one. TODO(user): Support more than two terms in the product.
  .operations_research.sat.IntegerArgumentProto int_prod = 11;
  Specified by:
  
  getIntProdOrBuilder in interface ConstraintProtoOrBuilder
- hasLinear
  
  public boolean hasLinear()
  The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
  .operations_research.sat.LinearConstraintProto linear = 12;
  Specified by:
  
  hasLinear in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the linear field is set.
- getLinear
  
  public LinearConstraintProto getLinear()
  The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
  .operations_research.sat.LinearConstraintProto linear = 12;
  Specified by:
  
  getLinear in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The linear.
- setLinear
  
  public ConstraintProto.Builder setLinear(LinearConstraintProto value)
  The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
  .operations_research.sat.LinearConstraintProto linear = 12;
- setLinear
  
  public ConstraintProto.Builder setLinear(LinearConstraintProto.Builder builderForValue)
  The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
  .operations_research.sat.LinearConstraintProto linear = 12;
- mergeLinear
  
  public ConstraintProto.Builder mergeLinear(LinearConstraintProto value)
  The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
  .operations_research.sat.LinearConstraintProto linear = 12;
- clearLinear
  
  public ConstraintProto.Builder clearLinear()
  The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
  .operations_research.sat.LinearConstraintProto linear = 12;
- getLinearBuilder
  
  public LinearConstraintProto.Builder getLinearBuilder()
  The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
  .operations_research.sat.LinearConstraintProto linear = 12;
- getLinearOrBuilder
  
  public LinearConstraintProtoOrBuilder getLinearOrBuilder()
  The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
  .operations_research.sat.LinearConstraintProto linear = 12;
  Specified by:
  
  getLinearOrBuilder in interface ConstraintProtoOrBuilder
- hasAllDiff
  
  public boolean hasAllDiff()
  The all_diff constraint forces all variables to take different values.
  .operations_research.sat.AllDifferentConstraintProto all_diff = 13;
  Specified by:
  
  hasAllDiff in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the allDiff field is set.
- getAllDiff
  
  public AllDifferentConstraintProto getAllDiff()
  The all_diff constraint forces all variables to take different values.
  .operations_research.sat.AllDifferentConstraintProto all_diff = 13;
  Specified by:
  
  getAllDiff in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The allDiff.
- setAllDiff
  
  public ConstraintProto.Builder setAllDiff(AllDifferentConstraintProto value)
  The all_diff constraint forces all variables to take different values.
  .operations_research.sat.AllDifferentConstraintProto all_diff = 13;
- setAllDiff
  
  public ConstraintProto.Builder setAllDiff(AllDifferentConstraintProto.Builder builderForValue)
  The all_diff constraint forces all variables to take different values.
  .operations_research.sat.AllDifferentConstraintProto all_diff = 13;
- mergeAllDiff
  
  public ConstraintProto.Builder mergeAllDiff(AllDifferentConstraintProto value)
  The all_diff constraint forces all variables to take different values.
  .operations_research.sat.AllDifferentConstraintProto all_diff = 13;
- clearAllDiff
  
  public ConstraintProto.Builder clearAllDiff()
  The all_diff constraint forces all variables to take different values.
  .operations_research.sat.AllDifferentConstraintProto all_diff = 13;
- getAllDiffBuilder
  
  public AllDifferentConstraintProto.Builder getAllDiffBuilder()
  The all_diff constraint forces all variables to take different values.
  .operations_research.sat.AllDifferentConstraintProto all_diff = 13;
- getAllDiffOrBuilder
  
  public AllDifferentConstraintProtoOrBuilder getAllDiffOrBuilder()
  The all_diff constraint forces all variables to take different values.
  .operations_research.sat.AllDifferentConstraintProto all_diff = 13;
  Specified by:
  
  getAllDiffOrBuilder in interface ConstraintProtoOrBuilder
- hasElement
  
  public boolean hasElement()
  The element constraint forces the variable with the given index to be equal to the target.
  .operations_research.sat.ElementConstraintProto element = 14;
  Specified by:
  
  hasElement in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the element field is set.
- getElement
  
  public ElementConstraintProto getElement()
  The element constraint forces the variable with the given index to be equal to the target.
  .operations_research.sat.ElementConstraintProto element = 14;
  Specified by:
  
  getElement in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The element.
- setElement
  
  public ConstraintProto.Builder setElement(ElementConstraintProto value)
  The element constraint forces the variable with the given index to be equal to the target.
  .operations_research.sat.ElementConstraintProto element = 14;
- setElement
  
  public ConstraintProto.Builder setElement(ElementConstraintProto.Builder builderForValue)
  The element constraint forces the variable with the given index to be equal to the target.
  .operations_research.sat.ElementConstraintProto element = 14;
- mergeElement
  
  public ConstraintProto.Builder mergeElement(ElementConstraintProto value)
  The element constraint forces the variable with the given index to be equal to the target.
  .operations_research.sat.ElementConstraintProto element = 14;
- clearElement
  
  public ConstraintProto.Builder clearElement()
  The element constraint forces the variable with the given index to be equal to the target.
  .operations_research.sat.ElementConstraintProto element = 14;
- getElementBuilder
  
  public ElementConstraintProto.Builder getElementBuilder()
  The element constraint forces the variable with the given index to be equal to the target.
  .operations_research.sat.ElementConstraintProto element = 14;
- getElementOrBuilder
  
  public ElementConstraintProtoOrBuilder getElementOrBuilder()
  The element constraint forces the variable with the given index to be equal to the target.
  .operations_research.sat.ElementConstraintProto element = 14;
  Specified by:
  
  getElementOrBuilder in interface ConstraintProtoOrBuilder
- hasCircuit
  
  public boolean hasCircuit()
  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;
  Specified by:
  
  hasCircuit in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the circuit field is set.
- getCircuit
  
  public CircuitConstraintProto getCircuit()
  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;
  Specified by:
  
  getCircuit in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The circuit.
- setCircuit
  
  public 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.
  .operations_research.sat.CircuitConstraintProto circuit = 15;
- setCircuit
  
  public 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.
  .operations_research.sat.CircuitConstraintProto circuit = 15;
- mergeCircuit
  
  public 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.
  .operations_research.sat.CircuitConstraintProto circuit = 15;
- clearCircuit
  
  public 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.
  .operations_research.sat.CircuitConstraintProto circuit = 15;
- getCircuitBuilder
  
  public CircuitConstraintProto.Builder getCircuitBuilder()
  The circuit constraint takes a graph and forces the arcs present (with arc presence indicated by a literal) to form a unique cycle.
  .operations_research.sat.CircuitConstraintProto circuit = 15;
- getCircuitOrBuilder
  
  public CircuitConstraintProtoOrBuilder getCircuitOrBuilder()
  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;
  Specified by:
  
  getCircuitOrBuilder in interface ConstraintProtoOrBuilder
- hasRoutes
  
  public boolean hasRoutes()
  The routes constraint implements the vehicle routing problem.
  .operations_research.sat.RoutesConstraintProto routes = 23;
  Specified by:
  
  hasRoutes in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the routes field is set.
- getRoutes
  
  public RoutesConstraintProto getRoutes()
  The routes constraint implements the vehicle routing problem.
  .operations_research.sat.RoutesConstraintProto routes = 23;
  Specified by:
  
  getRoutes in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The routes.
- setRoutes
  
  public ConstraintProto.Builder setRoutes(RoutesConstraintProto value)
  The routes constraint implements the vehicle routing problem.
  .operations_research.sat.RoutesConstraintProto routes = 23;
- setRoutes
  
  public ConstraintProto.Builder setRoutes(RoutesConstraintProto.Builder builderForValue)
  The routes constraint implements the vehicle routing problem.
  .operations_research.sat.RoutesConstraintProto routes = 23;
- mergeRoutes
  
  public ConstraintProto.Builder mergeRoutes(RoutesConstraintProto value)
  The routes constraint implements the vehicle routing problem.
  .operations_research.sat.RoutesConstraintProto routes = 23;
- clearRoutes
  
  public ConstraintProto.Builder clearRoutes()
  The routes constraint implements the vehicle routing problem.
  .operations_research.sat.RoutesConstraintProto routes = 23;
- getRoutesBuilder
  
  public RoutesConstraintProto.Builder getRoutesBuilder()
  The routes constraint implements the vehicle routing problem.
  .operations_research.sat.RoutesConstraintProto routes = 23;
- getRoutesOrBuilder
  
  public RoutesConstraintProtoOrBuilder getRoutesOrBuilder()
  The routes constraint implements the vehicle routing problem.
  .operations_research.sat.RoutesConstraintProto routes = 23;
  Specified by:
  
  getRoutesOrBuilder in interface ConstraintProtoOrBuilder
- hasTable
  
  public boolean hasTable()
  The table constraint enforces what values a tuple of variables may take.
  .operations_research.sat.TableConstraintProto table = 16;
  Specified by:
  
  hasTable in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the table field is set.
- getTable
  
  public TableConstraintProto getTable()
  The table constraint enforces what values a tuple of variables may take.
  .operations_research.sat.TableConstraintProto table = 16;
  Specified by:
  
  getTable in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The table.
- setTable
  
  public ConstraintProto.Builder setTable(TableConstraintProto value)
  The table constraint enforces what values a tuple of variables may take.
  .operations_research.sat.TableConstraintProto table = 16;
- setTable
  
  public ConstraintProto.Builder setTable(TableConstraintProto.Builder builderForValue)
  The table constraint enforces what values a tuple of variables may take.
  .operations_research.sat.TableConstraintProto table = 16;
- mergeTable
  
  public ConstraintProto.Builder mergeTable(TableConstraintProto value)
  The table constraint enforces what values a tuple of variables may take.
  .operations_research.sat.TableConstraintProto table = 16;
- clearTable
  
  public ConstraintProto.Builder clearTable()
  The table constraint enforces what values a tuple of variables may take.
  .operations_research.sat.TableConstraintProto table = 16;
- getTableBuilder
  
  public TableConstraintProto.Builder getTableBuilder()
  The table constraint enforces what values a tuple of variables may take.
  .operations_research.sat.TableConstraintProto table = 16;
- getTableOrBuilder
  
  public TableConstraintProtoOrBuilder getTableOrBuilder()
  The table constraint enforces what values a tuple of variables may take.
  .operations_research.sat.TableConstraintProto table = 16;
  Specified by:
  
  getTableOrBuilder in interface ConstraintProtoOrBuilder
- hasAutomaton
  
  public boolean hasAutomaton()
  The automaton constraint forces a sequence of variables to be accepted by an automaton.
  .operations_research.sat.AutomatonConstraintProto automaton = 17;
  Specified by:
  
  hasAutomaton in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the automaton field is set.
- getAutomaton
  
  public AutomatonConstraintProto getAutomaton()
  The automaton constraint forces a sequence of variables to be accepted by an automaton.
  .operations_research.sat.AutomatonConstraintProto automaton = 17;
  Specified by:
  
  getAutomaton in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The automaton.
- setAutomaton
  
  public ConstraintProto.Builder setAutomaton(AutomatonConstraintProto value)
  The automaton constraint forces a sequence of variables to be accepted by an automaton.
  .operations_research.sat.AutomatonConstraintProto automaton = 17;
- setAutomaton
  
  public ConstraintProto.Builder setAutomaton(AutomatonConstraintProto.Builder builderForValue)
  The automaton constraint forces a sequence of variables to be accepted by an automaton.
  .operations_research.sat.AutomatonConstraintProto automaton = 17;
- mergeAutomaton
  
  public ConstraintProto.Builder mergeAutomaton(AutomatonConstraintProto value)
  The automaton constraint forces a sequence of variables to be accepted by an automaton.
  .operations_research.sat.AutomatonConstraintProto automaton = 17;
- clearAutomaton
  
  public ConstraintProto.Builder clearAutomaton()
  The automaton constraint forces a sequence of variables to be accepted by an automaton.
  .operations_research.sat.AutomatonConstraintProto automaton = 17;
- getAutomatonBuilder
  
  public AutomatonConstraintProto.Builder getAutomatonBuilder()
  The automaton constraint forces a sequence of variables to be accepted by an automaton.
  .operations_research.sat.AutomatonConstraintProto automaton = 17;
- getAutomatonOrBuilder
  
  public AutomatonConstraintProtoOrBuilder getAutomatonOrBuilder()
  The automaton constraint forces a sequence of variables to be accepted by an automaton.
  .operations_research.sat.AutomatonConstraintProto automaton = 17;
  Specified by:
  
  getAutomatonOrBuilder in interface ConstraintProtoOrBuilder
- hasInverse
  
  public boolean hasInverse()
  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;
  Specified by:
  
  hasInverse in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the inverse field is set.
- getInverse
  
  public InverseConstraintProto getInverse()
  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;
  Specified by:
  
  getInverse in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The inverse.
- setInverse
  
  public 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.
  .operations_research.sat.InverseConstraintProto inverse = 18;
- setInverse
  
  public 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.
  .operations_research.sat.InverseConstraintProto inverse = 18;
- mergeInverse
  
  public 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.
  .operations_research.sat.InverseConstraintProto inverse = 18;
- clearInverse
  
  public 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.
  .operations_research.sat.InverseConstraintProto inverse = 18;
- getInverseBuilder
  
  public InverseConstraintProto.Builder getInverseBuilder()
  The inverse constraint forces two arrays to be inverses of each other: the values of one are the indices of the other, and vice versa.
  .operations_research.sat.InverseConstraintProto inverse = 18;
- getInverseOrBuilder
  
  public InverseConstraintProtoOrBuilder getInverseOrBuilder()
  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;
  Specified by:
  
  getInverseOrBuilder in interface ConstraintProtoOrBuilder
- hasReservoir
  
  public boolean hasReservoir()
  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;
  Specified by:
  
  hasReservoir in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the reservoir field is set.
- getReservoir
  
  public ReservoirConstraintProto getReservoir()
  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;
  Specified by:
  
  getReservoir in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The reservoir.
- setReservoir
  
  public 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.
  .operations_research.sat.ReservoirConstraintProto reservoir = 24;
- setReservoir
  
  public 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.
  .operations_research.sat.ReservoirConstraintProto reservoir = 24;
- mergeReservoir
  
  public 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.
  .operations_research.sat.ReservoirConstraintProto reservoir = 24;
- clearReservoir
  
  public 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.
  .operations_research.sat.ReservoirConstraintProto reservoir = 24;
- getReservoirBuilder
  
  public ReservoirConstraintProto.Builder getReservoirBuilder()
  The reservoir constraint forces the sum of a set of active demands to always be between a specified minimum and maximum value during specific times.
  .operations_research.sat.ReservoirConstraintProto reservoir = 24;
- getReservoirOrBuilder
  
  public ReservoirConstraintProtoOrBuilder getReservoirOrBuilder()
  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;
  Specified by:
  
  getReservoirOrBuilder in interface ConstraintProtoOrBuilder
- hasInterval
  
  public boolean hasInterval()
  The interval constraint takes a start, end, and size, and forces start + size == end.
  .operations_research.sat.IntervalConstraintProto interval = 19;
  Specified by:
  
  hasInterval in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the interval field is set.
- getInterval
  
  public IntervalConstraintProto getInterval()
  The interval constraint takes a start, end, and size, and forces start + size == end.
  .operations_research.sat.IntervalConstraintProto interval = 19;
  Specified by:
  
  getInterval in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The interval.
- setInterval
  
  public ConstraintProto.Builder setInterval(IntervalConstraintProto value)
  The interval constraint takes a start, end, and size, and forces start + size == end.
  .operations_research.sat.IntervalConstraintProto interval = 19;
- setInterval
  
  public ConstraintProto.Builder setInterval(IntervalConstraintProto.Builder builderForValue)
  The interval constraint takes a start, end, and size, and forces start + size == end.
  .operations_research.sat.IntervalConstraintProto interval = 19;
- mergeInterval
  
  public ConstraintProto.Builder mergeInterval(IntervalConstraintProto value)
  The interval constraint takes a start, end, and size, and forces start + size == end.
  .operations_research.sat.IntervalConstraintProto interval = 19;
- clearInterval
  
  public ConstraintProto.Builder clearInterval()
  The interval constraint takes a start, end, and size, and forces start + size == end.
  .operations_research.sat.IntervalConstraintProto interval = 19;
- getIntervalBuilder
  
  public IntervalConstraintProto.Builder getIntervalBuilder()
  The interval constraint takes a start, end, and size, and forces start + size == end.
  .operations_research.sat.IntervalConstraintProto interval = 19;
- getIntervalOrBuilder
  
  public IntervalConstraintProtoOrBuilder getIntervalOrBuilder()
  The interval constraint takes a start, end, and size, and forces start + size == end.
  .operations_research.sat.IntervalConstraintProto interval = 19;
  Specified by:
  
  getIntervalOrBuilder in interface ConstraintProtoOrBuilder
- hasNoOverlap
  
  public boolean hasNoOverlap()
  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;
  Specified by:
  
  hasNoOverlap in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the noOverlap field is set.
- getNoOverlap
  
  public NoOverlapConstraintProto getNoOverlap()
  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;
  Specified by:
  
  getNoOverlap in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The noOverlap.
- setNoOverlap
  
  public ConstraintProto.Builder setNoOverlap(NoOverlapConstraintProto value)
  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;
- setNoOverlap
  
  public 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.
  .operations_research.sat.NoOverlapConstraintProto no_overlap = 20;
- mergeNoOverlap
  
  public ConstraintProto.Builder mergeNoOverlap(NoOverlapConstraintProto value)
  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;
- clearNoOverlap
  
  public ConstraintProto.Builder clearNoOverlap()
  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;
- getNoOverlapBuilder
  
  public NoOverlapConstraintProto.Builder getNoOverlapBuilder()
  The no_overlap constraint prevents a set of intervals from overlapping; in scheduling, this is called a disjunctive constraint.
  .operations_research.sat.NoOverlapConstraintProto no_overlap = 20;
- getNoOverlapOrBuilder
  
  public NoOverlapConstraintProtoOrBuilder getNoOverlapOrBuilder()
  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;
  Specified by:
  
  getNoOverlapOrBuilder in interface ConstraintProtoOrBuilder
- hasNoOverlap2D
  
  public boolean hasNoOverlap2D()
  The no_overlap_2d constraint prevents a set of boxes from overlapping.
  .operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
  Specified by:
  
  hasNoOverlap2D in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the noOverlap2d field is set.
- getNoOverlap2D
  
  public NoOverlap2DConstraintProto getNoOverlap2D()
  The no_overlap_2d constraint prevents a set of boxes from overlapping.
  .operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
  Specified by:
  
  getNoOverlap2D in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The noOverlap2d.
- setNoOverlap2D
  
  public ConstraintProto.Builder setNoOverlap2D(NoOverlap2DConstraintProto value)
  The no_overlap_2d constraint prevents a set of boxes from overlapping.
  .operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
- setNoOverlap2D
  
  public ConstraintProto.Builder setNoOverlap2D(NoOverlap2DConstraintProto.Builder builderForValue)
  The no_overlap_2d constraint prevents a set of boxes from overlapping.
  .operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
- mergeNoOverlap2D
  
  public ConstraintProto.Builder mergeNoOverlap2D(NoOverlap2DConstraintProto value)
  The no_overlap_2d constraint prevents a set of boxes from overlapping.
  .operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
- clearNoOverlap2D
  
  public ConstraintProto.Builder clearNoOverlap2D()
  The no_overlap_2d constraint prevents a set of boxes from overlapping.
  .operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
- getNoOverlap2DBuilder
  
  public NoOverlap2DConstraintProto.Builder getNoOverlap2DBuilder()
  The no_overlap_2d constraint prevents a set of boxes from overlapping.
  .operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
- getNoOverlap2DOrBuilder
  
  public NoOverlap2DConstraintProtoOrBuilder getNoOverlap2DOrBuilder()
  The no_overlap_2d constraint prevents a set of boxes from overlapping.
  .operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
  Specified by:
  
  getNoOverlap2DOrBuilder in interface ConstraintProtoOrBuilder
- hasCumulative
  
  public boolean hasCumulative()
  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;
  Specified by:
  
  hasCumulative in interface ConstraintProtoOrBuilder
  
  Returns:
  
  Whether the cumulative field is set.
- getCumulative
  
  public CumulativeConstraintProto getCumulative()
  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;
  Specified by:
  
  getCumulative in interface ConstraintProtoOrBuilder
  
  Returns:
  
  The cumulative.
- setCumulative
  
  public 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.
  .operations_research.sat.CumulativeConstraintProto cumulative = 22;
- setCumulative
  
  public 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.
  .operations_research.sat.CumulativeConstraintProto cumulative = 22;
- mergeCumulative
  
  public 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.
  .operations_research.sat.CumulativeConstraintProto cumulative = 22;
- clearCumulative
  
  public 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.
  .operations_research.sat.CumulativeConstraintProto cumulative = 22;
- getCumulativeBuilder
  
  public CumulativeConstraintProto.Builder getCumulativeBuilder()
  The cumulative constraint ensures that for any integer point, the sum of the demands of the intervals containing that point does not exceed the capacity.
  .operations_research.sat.CumulativeConstraintProto cumulative = 22;
- getCumulativeOrBuilder
  
  public CumulativeConstraintProtoOrBuilder getCumulativeOrBuilder()
  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;
  Specified by:
  
  getCumulativeOrBuilder in interface ConstraintProtoOrBuilder
- setUnknownFields
  
  public final ConstraintProto.Builder setUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields)
  
  Specified by:
  
  setUnknownFields in interface com.google.protobuf.Message.Builder
  
  Overrides:
  
  setUnknownFields in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>
- mergeUnknownFields
  
  public final ConstraintProto.Builder mergeUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields)
  
  Specified by:
  
  mergeUnknownFields in interface com.google.protobuf.Message.Builder
  
  Overrides:
  
  mergeUnknownFields in class com.google.protobuf.GeneratedMessageV3.Builder<ConstraintProto.Builder>

Class ConstraintProto.Builder

Method Summary

Methods inherited from class com.google.protobuf.GeneratedMessageV3.Builder

Methods inherited from class com.google.protobuf.AbstractMessage.Builder

Methods inherited from class com.google.protobuf.AbstractMessageLite.Builder

Methods inherited from class java.lang.Object

Methods inherited from interface com.google.protobuf.MessageLite.Builder

Methods inherited from interface com.google.protobuf.MessageOrBuilder

Method Details

getDescriptor

internalGetFieldAccessorTable

clear

getDescriptorForType

getDefaultInstanceForType

build

buildPartial

clone

setField

clearField

clearOneof

setRepeatedField

addRepeatedField

mergeFrom

mergeFrom

isInitialized

mergeFrom

getConstraintCase

clearConstraint

getName

getNameBytes

setName

clearName

setNameBytes

getEnforcementLiteralList

getEnforcementLiteralCount

getEnforcementLiteral

setEnforcementLiteral

addEnforcementLiteral

addAllEnforcementLiteral

clearEnforcementLiteral

hasBoolOr

getBoolOr

setBoolOr

setBoolOr

mergeBoolOr

clearBoolOr

getBoolOrBuilder

getBoolOrOrBuilder

hasBoolAnd

getBoolAnd

setBoolAnd

setBoolAnd

mergeBoolAnd

clearBoolAnd

getBoolAndBuilder

getBoolAndOrBuilder

hasAtMostOne

getAtMostOne

setAtMostOne

setAtMostOne

mergeAtMostOne

clearAtMostOne

getAtMostOneBuilder

getAtMostOneOrBuilder

hasExactlyOne

getExactlyOne

setExactlyOne

setExactlyOne

mergeExactlyOne

clearExactlyOne

getExactlyOneBuilder

getExactlyOneOrBuilder

hasBoolXor

getBoolXor

setBoolXor

setBoolXor

mergeBoolXor

clearBoolXor

getBoolXorBuilder

getBoolXorOrBuilder