Skip to content

Interface: ExplorationCompleteResponse

@kortexya/reasoninglayer


@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.