ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field,
java.lang.Object value) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clear() |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clearBytesUsed() |
Memory usage of the solver.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clearDurationSeconds() |
Total time spent in the solver.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clearField(com.google.protobuf.Descriptors.FieldDescriptor field) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clearNumBranches() |
Number of branches explored.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clearNumFailures() |
Number of failures/backtracks.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clearNumSolutions() |
Number of solutions found.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.clone() |
|
ConstraintSolverStatistics.Builder |
SearchStatistics.Builder.getConstraintSolverStatisticsBuilder() |
Constraint solver statistics.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.mergeFrom(ConstraintSolverStatistics other) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.mergeFrom(com.google.protobuf.Message other) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.mergeUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields) |
|
static ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.newBuilder() |
|
static ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.newBuilder(ConstraintSolverStatistics prototype) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.newBuilderForType() |
|
protected ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.setBytesUsed(long value) |
Memory usage of the solver.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.setDurationSeconds(double value) |
Total time spent in the solver.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.setField(com.google.protobuf.Descriptors.FieldDescriptor field,
java.lang.Object value) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.setNumBranches(long value) |
Number of branches explored.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.setNumFailures(long value) |
Number of failures/backtracks.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.setNumSolutions(long value) |
Number of solutions found.
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field,
int index,
java.lang.Object value) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.Builder.setUnknownFields(com.google.protobuf.UnknownFieldSet unknownFields) |
|
ConstraintSolverStatistics.Builder |
ConstraintSolverStatistics.toBuilder() |
|