Interface: ImpliesResponse
@kortexya/reasoninglayer / Control / ImpliesResponse
Interface: ImpliesResponse
Defined in: src/types/control.ts:238
Response from implies.
Properties
antecedentSucceeded
antecedentSucceeded:
boolean
Defined in: src/types/control.ts:240
Whether the antecedent succeeded.
consequentSucceeded?
optionalconsequentSucceeded:boolean|null
Defined in: src/types/control.ts:242
Whether the consequent succeeded (null if antecedent failed).
result
result:
boolean
Defined in: src/types/control.ts:244
True if implication holds (antecedent fails OR consequent succeeds).