Skip to content

Interface: PathwaysDto

@kortexya/reasoninglayer


@kortexya/reasoninglayer / PathwaysDto

Defined in: src/types/thomas.ts:110

What can happen from one state.

moves is ordered with the forced steps first, so a caller that wants “what must happen next” reads from the front rather than filtering.

moves: MoveDto[]

Defined in: src/types/thomas.ts:114

The steps out of it, forced ones first.


stability: string

Defined in: src/types/thomas.ts:119

certain when the state is steady under every admissible parameterisation, possible under some, no under none.


state: VariableDto[]

Defined in: src/types/thomas.ts:112

The state this describes.