Interface: ExplorationCompleteResponse
@kortexya/reasoninglayer / Analysis / ExplorationCompleteResponse
Interface: ExplorationCompleteResponse
Defined in: src/types/analysis.ts:164
Response from completing an exploration session.
Properties
counterexamplesAdded
counterexamplesAdded:
number
Defined in: src/types/analysis.ts:170
Number of counterexamples added.
implications
implications:
Implication[]
Defined in: src/types/analysis.ts:168
All discovered implications.
rulesCreated
rulesCreated:
number
Defined in: src/types/analysis.ts:172
Number of rules created from implications.
totalImplications
totalImplications:
number
Defined in: src/types/analysis.ts:166
Total implications discovered.