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