Interface: ReachableDto
@kortexya/reasoninglayer / ReachableDto
Interface: ReachableDto
Section titled “Interface: ReachableDto”Defined in: src/types/thomas.ts:154
The walk of the dynamics, for drawing.
Remarks
Section titled “Remarks”⚠️ Read ReachableDto.truncated. The walk is bounded, and a truncated one is a PREFIX of the reachable set — concluding “the network cannot reach X” from a truncated walk is wrong.
Properties
Section titled “Properties”edges:
ReachedEdgeDto[]
Defined in: src/types/thomas.ts:160
The steps between them.
states
Section titled “states”states:
ReachedStateDto[]
Defined in: src/types/thomas.ts:158
The states reached.
truncated
Section titled “truncated”truncated:
boolean
Defined in: src/types/thomas.ts:162
Whether the walk stopped early at its bound.
variables
Section titled “variables”variables:
string[]
Defined in: src/types/thomas.ts:156
The variable names the ReachedStateDto.levels arrays align with.