public interface ConstraintSolverStatisticsOrBuilder
extends com.google.protobuf.MessageOrBuilder
Modifier and Type | Method and Description |
---|---|
long |
getBytesUsed()
Memory usage of the solver.
|
double |
getDurationSeconds()
Total time spent in the solver.
|
long |
getNumBranches()
Number of branches explored.
|
long |
getNumFailures()
Number of failures/backtracks.
|
long |
getNumSolutions()
Number of solutions found.
|
findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
long getNumBranches()
Number of branches explored.
int64 num_branches = 1;
long getNumFailures()
Number of failures/backtracks.
int64 num_failures = 2;
long getNumSolutions()
Number of solutions found.
int64 num_solutions = 3;
long getBytesUsed()
Memory usage of the solver.
int64 bytes_used = 4;
double getDurationSeconds()
Total time spent in the solver.
double duration_seconds = 5;
Copyright © 2025. All rights reserved.