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 value) |
The constraints of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.addConstraints(int index,
LinearBooleanConstraint.Builder builderForValue) |
The constraints of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.addConstraints(LinearBooleanConstraint value) |
The constraints of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.addConstraints(LinearBooleanConstraint.Builder builderForValue) |
The constraints of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field,
java.lang.Object value) |
|
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.clearField(com.google.protobuf.Descriptors.FieldDescriptor field) |
|
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.clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof) |
|
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.clone() |
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.mergeAssignment(BooleanAssignment value) |
Stores an assignment of the problem variables.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.mergeFrom(LinearBooleanProblem other) |
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.mergeFrom(com.google.protobuf.Message other) |
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.mergeObjective(LinearObjective value) |
The objective of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.mergeUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields) |
|
static LinearBooleanProblem.Builder |
LinearBooleanProblem.newBuilder() |
|
static LinearBooleanProblem.Builder |
LinearBooleanProblem.newBuilder(LinearBooleanProblem prototype) |
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.newBuilderForType() |
|
protected LinearBooleanProblem.Builder |
LinearBooleanProblem.newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent) |
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.removeConstraints(int index) |
The constraints of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.setAssignment(BooleanAssignment value) |
Stores an assignment of the problem variables.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.setAssignment(BooleanAssignment.Builder builderForValue) |
Stores an assignment of the problem variables.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.setConstraints(int index,
LinearBooleanConstraint value) |
The constraints of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.setConstraints(int index,
LinearBooleanConstraint.Builder builderForValue) |
The constraints of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.setField(com.google.protobuf.Descriptors.FieldDescriptor field,
java.lang.Object value) |
|
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 value) |
The objective of the problem.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.setObjective(LinearObjective.Builder builderForValue) |
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.setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field,
int index,
java.lang.Object value) |
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.setUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields) |
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.Builder.setVarNames(int index,
java.lang.String value) |
The names of the problem variables.
|
LinearBooleanProblem.Builder |
LinearBooleanProblem.toBuilder() |
|