KripkeStructureExpl (Averest)

KripkeStructureExpl Type

Namespace: Averest.TeachingTools
Assembly: Averest.dll
Parent Module: KripkeStructures
Base Type: obj
All Interfaces: IEquatable<KripkeStructureExpl> , IStructuralEquatable , IComparable<KripkeStructureExpl> , 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: `Set<int * int>`	Field type: `Set<int * int>`
`vars` Full Usage: `vars` Field type: `Set<string>`	Field type: `Set<string>`