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