Interface: SearchStatsDto
@kortexya/reasoninglayer / Spaces / SearchStatsDto
Interface: SearchStatsDto
Defined in: src/types/spaces.ts:61
Search statistics collected during a search operation.
Properties
backtracks
backtracks:
number
Defined in: src/types/spaces.ts:67
Number of backtracks (dead ends encountered).
forcedChoices?
optionalforcedChoices:ChoiceSelection[]
Defined in: src/types/spaces.ts:80
Choice points forced by initial propagation (before any search decision). Every solution in the search space respects these assignments unconditionally.
learnedClauses
learnedClauses:
number
Defined in: src/types/spaces.ts:75
Number of learned nogood clauses.
nodesExplored
nodesExplored:
number
Defined in: src/types/spaces.ts:63
Total nodes visited during search.
nodesPruned
nodesPruned:
number
Defined in: src/types/spaces.ts:65
Nodes pruned by constraint propagation.
restarts
restarts:
number
Defined in: src/types/spaces.ts:73
Number of restarts performed (Luby restart strategy).
scorerCalls
scorerCalls:
number
Defined in: src/types/spaces.ts:71
Number of times the neural scorer was invoked.
solveTimeMs
solveTimeMs:
number
Defined in: src/types/spaces.ts:69
Wall-clock search time in milliseconds.