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, hasOneoflong 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 © 2024. All rights reserved.