AutomatonExpl<'input, 'output, 'state> (Averest) | Averest

AutomatonExpl<'input, 'output, 'state> Type

Namespace: Averest.Analysis
Assembly: Averest.dll
Parent Module: Automata
Base Type: obj
All Interfaces: IEquatable<AutomatonExpl<'input, 'output, 'state>> , IStructuralEquatable , IComparable<AutomatonExpl<'input, 'output, 'state>> , IComparable , IStructuralComparable

Explicitly represented automata consist of a set of inputs, possibly a set of outputs, a set of states, a set of initial states, a set of accepting states, and the transition relation.

Record fields

Record Field	Description
`accept` Full Usage: `accept` Field type: `Set<'state>`	Field type: `Set<'state>`
`acptType` Full Usage: `acptType` Field type: `AcceptanceType`	Field type: `AcceptanceType`
`cstrGF` Full Usage: `cstrGF` Field type: `Set<Set<'state>>`	Field type: `Set<Set<'state>>`
`init` Full Usage: `init` Field type: `Set<'state>`	Field type: `Set<'state>`
`inputs` Full Usage: `inputs` Field type: `Set<'input>`	Field type: `Set<'input>`
`outputs` Full Usage: `outputs` Field type: `Set<'output>`	Field type: `Set<'output>`
`states` Full Usage: `states` Field type: `Set<'state>`	Field type: `Set<'state>`
`trans` Full Usage: `trans` Field type: `Set<'state * 'input * 'output option * 'state>`	Field type: `Set<'state * 'input * 'output option * 'state>`