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