Interface: CeilingDto
@kortexya/reasoninglayer / CeilingDto
Interface: CeilingDto
Section titled “Interface: CeilingDto”Defined in: src/types/thomas.ts:199
The highest level a variable can reach, with and without certainty.
Properties
Section titled “Properties”guaranteed
Section titled “guaranteed”guaranteed:
number
Defined in: src/types/thomas.ts:203
The level it reaches under every admissible parameterisation.
possible
Section titled “possible”possible:
number
Defined in: src/types/thomas.ts:205
The level it reaches under some.
variable
Section titled “variable”variable:
string
Defined in: src/types/thomas.ts:201
The variable.