Interface: ImpliesResponse
@kortexya/reasoninglayer / ImpliesResponse
Interface: ImpliesResponse
Section titled “Interface: ImpliesResponse”Defined in: src/types/control.ts:235
Response from implies.
Properties
Section titled “Properties”antecedentSucceeded
Section titled “antecedentSucceeded”antecedentSucceeded:
boolean
Defined in: src/types/control.ts:237
Whether the antecedent succeeded.
consequentSucceeded?
Section titled “consequentSucceeded?”
optionalconsequentSucceeded?:boolean|null
Defined in: src/types/control.ts:239
Whether the consequent succeeded (null if antecedent failed).
result
Section titled “result”result:
boolean
Defined in: src/types/control.ts:241
True if implication holds (antecedent fails OR consequent succeeds).