Uses of Class
com.google.ortools.sat.LinearBooleanProblem.Builder

Packages that use LinearBooleanProblem.Builder

Package	Description
com.google.ortools.sat

Uses of LinearBooleanProblem.Builder in com.google.ortools.sat

Methods in com.google.ortools.sat that return LinearBooleanProblem.Builder

Modifier and Type	Method and Description
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.addAllConstraints(java.lang.Iterable<? extends LinearBooleanConstraint> values) The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.addAllVarNames(java.lang.Iterable<java.lang.String> values) The names of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.addConstraints(int index, LinearBooleanConstraint.Builder builderForValue) The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.addConstraints(int index, LinearBooleanConstraint value) The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.addConstraints(LinearBooleanConstraint.Builder builderForValue) The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.addConstraints(LinearBooleanConstraint value) The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.addVarNames(java.lang.String value) The names of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.addVarNamesBytes(com.google.protobuf.ByteString value) The names of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.clear()
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.clearAssignment() Stores an assignment of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.clearConstraints() The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.clearName() The name of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.clearNumVariables() The number of variables in the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.clearObjective() The objective of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.clearOriginalNumVariables() Hack: When converting a wcnf formulat to a LinearBooleanProblem, extra variables need to be created.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.clearVarNames() The names of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.mergeAssignment(BooleanAssignment value) Stores an assignment of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.mergeFrom(LinearBooleanProblem other)
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.mergeFrom(com.google.protobuf.Message other)
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.mergeObjective(LinearObjective value) The objective of the problem.
static LinearBooleanProblem.Builder	LinearBooleanProblem.newBuilder()
static LinearBooleanProblem.Builder	LinearBooleanProblem.newBuilder(LinearBooleanProblem prototype)
LinearBooleanProblem.Builder	LinearBooleanProblem.newBuilderForType()
protected LinearBooleanProblem.Builder	LinearBooleanProblem.newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.removeConstraints(int index) The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setAssignment(BooleanAssignment.Builder builderForValue) Stores an assignment of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setAssignment(BooleanAssignment value) Stores an assignment of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setConstraints(int index, LinearBooleanConstraint.Builder builderForValue) The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setConstraints(int index, LinearBooleanConstraint value) The constraints of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setName(java.lang.String value) The name of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setNameBytes(com.google.protobuf.ByteString value) The name of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setNumVariables(int value) The number of variables in the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setObjective(LinearObjective.Builder builderForValue) The objective of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setObjective(LinearObjective value) The objective of the problem.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setOriginalNumVariables(int value) Hack: When converting a wcnf formulat to a LinearBooleanProblem, extra variables need to be created.
LinearBooleanProblem.Builder	LinearBooleanProblem.Builder.setVarNames(int index, java.lang.String value) The names of the problem variables.
LinearBooleanProblem.Builder	LinearBooleanProblem.toBuilder()