Interface: ExplorationProgress
@kortexya/reasoninglayer / ExplorationProgress
Interface: ExplorationProgress
Section titled “Interface: ExplorationProgress”Defined in: src/types/analysis.ts:260
Progress of an exploration session.
Properties
Section titled “Properties”counterexamplesAdded
Section titled “counterexamplesAdded”counterexamplesAdded:
number
Defined in: src/types/analysis.ts:266
Number of counterexamples added.
implicationsConfirmed
Section titled “implicationsConfirmed”implicationsConfirmed:
number
Defined in: src/types/analysis.ts:262
Number of implications confirmed.
implicationsRefuted
Section titled “implicationsRefuted”implicationsRefuted:
number
Defined in: src/types/analysis.ts:264
Number of implications refuted.
isComplete
Section titled “isComplete”isComplete:
boolean
Defined in: src/types/analysis.ts:268
Whether exploration is complete.