Skip to content

Interface: RefuteRequest

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Analysis / RefuteRequest

Interface: RefuteRequest

Defined in: src/types/analysis.ts:130

Request to refute an implication with a counterexample.

Properties

features

features: string[]

Defined in: src/types/analysis.ts:134

Features of the counterexample.


label

label: string

Defined in: src/types/analysis.ts:132

Label for the counterexample.