Interface: ExplorationProgress
@kortexya/reasoninglayer / Analysis / ExplorationProgress
Interface: ExplorationProgress
Defined in: src/types/analysis.ts:110
Progress of an exploration session.
Properties
counterexamplesAdded
counterexamplesAdded:
number
Defined in: src/types/analysis.ts:116
Number of counterexamples added.
implicationsConfirmed
implicationsConfirmed:
number
Defined in: src/types/analysis.ts:112
Number of implications confirmed.
implicationsRefuted
implicationsRefuted:
number
Defined in: src/types/analysis.ts:114
Number of implications refuted.
isComplete
isComplete:
boolean
Defined in: src/types/analysis.ts:118
Whether exploration is complete.