Interface: ExplorationCompleteResponse
@kortexya/reasoninglayer / ExplorationCompleteResponse
Interface: ExplorationCompleteResponse
Section titled “Interface: ExplorationCompleteResponse”Defined in: src/types/analysis.ts:391
Response from completing an exploration session.
Properties
Section titled “Properties”counterexamplesAdded
Section titled “counterexamplesAdded”counterexamplesAdded:
number
Defined in: src/types/analysis.ts:397
Number of counterexamples added.
implications
Section titled “implications”implications:
Implication[]
Defined in: src/types/analysis.ts:395
All discovered implications.
rulesCreated
Section titled “rulesCreated”rulesCreated:
number
Defined in: src/types/analysis.ts:399
Number of rules created from implications.
totalImplications
Section titled “totalImplications”totalImplications:
number
Defined in: src/types/analysis.ts:393
Total implications discovered.