Interface: SmtUnknownResult
@kortexya/reasoninglayer / SmtUnknownResult
Interface: SmtUnknownResult
Section titled “Interface: SmtUnknownResult”Defined in: src/types/smt.ts:186
Result of an SMT check that reached no verdict.
Remarks
Section titled “Remarks”unknownReason carries the solver’s explanation when one was supplied,
and is null otherwise.
Example
Section titled “Example”if (response.result === 'unknown') { console.log(response.unknownReason ?? 'no reason given');}Properties
Section titled “Properties”result
Section titled “result”result:
"unknown"
Defined in: src/types/smt.ts:188
Discriminant: the solver reached no verdict.
unknownReason
Section titled “unknownReason”unknownReason:
string|null
Defined in: src/types/smt.ts:190
Reason string for the "unknown" result, or null if none was supplied.