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