Interface: AdmissibleDto
@kortexya/reasoninglayer / AdmissibleDto
Interface: AdmissibleDto
Section titled “Interface: AdmissibleDto”Defined in: src/types/thomas.ts:64
How much the declared observations narrowed the parameters.
Remarks
Section titled “Remarks”Read AdmissibleDto.observed first. When it is false no properties
constrained the identification, so admitted is every parameterisation the
wiring allows rather than a result worth reporting.
Properties
Section titled “Properties”admitted?
Section titled “admitted?”
optionaladmitted?:number
Defined in: src/types/thomas.ts:68
Parameterisations admitted. Absent when the count was not materialised.
boxes:
number
Defined in: src/types/thomas.ts:72
Symbolic boxes the identification worked over.
candidates?
Section titled “candidates?”
optionalcandidates?:number
Defined in: src/types/thomas.ts:70
Parameterisations considered. Absent when the count was not materialised.
checks
Section titled “checks”checks:
number
Defined in: src/types/thomas.ts:74
Consistency checks performed.
millis
Section titled “millis”millis:
number
Defined in: src/types/thomas.ts:76
Wall-clock time the identification took, in milliseconds.
observed
Section titled “observed”observed:
boolean
Defined in: src/types/thomas.ts:66
Whether any declared property constrained the identification.