Interface: KripkeState
@kortexya/reasoninglayer / KripkeState
Interface: KripkeState
Section titled “Interface: KripkeState”Defined in: src/types/temporal.ts:38
One state in the Kripke model.
Remarks
Section titled “Remarks”State IDs must be unique non-negative integers within a model. labels names
the atomic propositions that hold in the state (e.g. "ready", "running");
they are matched by name against { op: 'atom', name } formula nodes.
Example
Section titled “Example”const state: KripkeState = { id: 0, labels: ['red'] };Properties
Section titled “Properties”id:
number
Defined in: src/types/temporal.ts:40
Numeric identifier for this state. Must be unique within the model.
labels?
Section titled “labels?”
optionallabels?:string[]
Defined in: src/types/temporal.ts:43
Atomic-proposition labels that hold in this state. Defaults to none.