KripkeStructure (Averest)

KripkeStructure Type

Namespace: TeachingTools
Assembly: TeachingToolsLib.dll
Parent Module: KripkeStructures
Base Type: obj
All Interfaces: IEquatable<KripkeStructure> , IStructuralEquatable , IComparable<KripkeStructure> , IComparable , IStructuralComparable

This denotes the type of a Kripke structure. States are unsigned integers, and the labels are then given by a simple array of sets of strings, and the transition relation is a list of pairs of states (integers). Finally,the initial states are given as a set of states.

Record fields

Record Field	Description
`init` Full Usage: `init` Field type: `Set<int>`	Field type: `Set<int>`
`label` Full Usage: `label` Field type: `Set<string>[]`	Field type: `Set<string>[]`
`trans` Full Usage: `trans` Field type: `(int * int) list`	Field type: `(int * int) list`
`vars` Full Usage: `vars` Field type: `Set<string>`	Field type: `Set<string>`