Interface: ForallRequest
@kortexya/reasoninglayer / ForallRequest
Interface: ForallRequest
Section titled “Interface: ForallRequest”Defined in: src/types/control.ts:162
Request for forall (universal quantification).
Properties
Section titled “Properties”generator
Section titled “generator”generator:
Record<string,unknown>
Defined in: src/types/control.ts:166
Generator goal that produces solutions.
sessionId
Section titled “sessionId”sessionId:
string
Defined in: src/types/control.ts:164
Execution session ID.
test:
Record<string,unknown>
Defined in: src/types/control.ts:168
Test goal that must succeed for all solutions.