Interface: KripkeState

@kortexya/reasoninglayer / Temporal / KripkeState

Interface: KripkeState

Defined in: src/types/temporal.ts:38

One state in the Kripke model.

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

const state: KripkeState = { id: 0, labels: ['red'] };

Properties

id

id: number

Defined in: src/types/temporal.ts:40

Numeric identifier for this state. Must be unique within the model.

labels?

optional labels: string[]

Defined in: src/types/temporal.ts:43

Atomic-proposition labels that hold in this state. Defaults to none.