Interface: ImpliesRequest
@kortexya/reasoninglayer / ImpliesRequest
Interface: ImpliesRequest
Section titled “Interface: ImpliesRequest”Defined in: src/types/control.ts:223
Request for implies (A -> B).
Properties
Section titled “Properties”antecedent
Section titled “antecedent”antecedent:
Record<string,unknown>
Defined in: src/types/control.ts:227
Antecedent goal.
consequent
Section titled “consequent”consequent:
Record<string,unknown>
Defined in: src/types/control.ts:229
Consequent goal.
sessionId
Section titled “sessionId”sessionId:
string
Defined in: src/types/control.ts:225
Execution session ID.