Interface: ForallResponse
@kortexya/reasoninglayer / Control / ForallResponse
Interface: ForallResponse
Defined in: src/types/control.ts:176
Response from forall.
Properties
result
result:
boolean
Defined in: src/types/control.ts:178
True if test succeeded for all generated solutions.
solutionsTested
solutionsTested:
number
Defined in: src/types/control.ts:180
Number of solutions tested.