Interface: KripkeTransition
@kortexya/reasoninglayer / KripkeTransition
Interface: KripkeTransition
Section titled “Interface: KripkeTransition”Defined in: src/types/temporal.ts:58
A directed transition between two states in the Kripke model.
Remarks
Section titled “Remarks”Both endpoints must be declared in the model’s states. Duplicate edges are
silently deduplicated by the backend.
Example
Section titled “Example”const edge: KripkeTransition = { from: 0, to: 1 };Properties
Section titled “Properties”from:
number
Defined in: src/types/temporal.ts:60
Source state ID.
to:
number
Defined in: src/types/temporal.ts:63
Target state ID.