ProcessorState<'a> (Averest)

ProcessorState<'a> Type

Namespace: Averest.MiniC
Assembly: Averest.dll
Parent Module: MoveCode
Base Type: obj
All Interfaces: IEquatable<ProcessorState<'a>> , IStructuralEquatable , IComparable<ProcessorState<'a>> , IComparable , IStructuralComparable

a processor state contains all values that may change in an execution; buffers are thereby array where NONE denotes no value, and where the head value is at index 0, so that the arrays end with a suffix of values NONE and have a prefix of SOME-values.

Record fields

Record Field	Description
`busy` Full Usage: `busy` Field type: `int[]`	Field type: `int[]`
`cntrCnd` Full Usage: `cntrCnd` Field type: `(SrcAdr option * 'a option)[]`	Field type: `(SrcAdr option * 'a option)[]`
`inL` Full Usage: `inL` Field type: `(SrcAdr option * 'a option)[][]`	Field type: `(SrcAdr option * 'a option)[][]`
`inR` Full Usage: `inR` Field type: `(SrcAdr option * 'a option)[][]`	Field type: `(SrcAdr option * 'a option)[][]`
`loadAdr` Full Usage: `loadAdr` Field type: `(SrcAdr option * 'a option)[]`	Field type: `(SrcAdr option * 'a option)[]`
`loadBusy` Full Usage: `loadBusy` Field type: `int` Modifiers: mutable	Field type: `int`
`loadOpc` Full Usage: `loadOpc` Field type: `OpCodeBED option[]`	Field type: `OpCodeBED option[]`
`loadOut` Full Usage: `loadOut` Field type: `(TgtAdr option * 'a option)[]`	Field type: `(TgtAdr option * 'a option)[]`
`loadVal` Full Usage: `loadVal` Field type: `(SrcAdr option * 'a option)[]`	Field type: `(SrcAdr option * 'a option)[]`
`memData` Full Usage: `memData` Field type: `'a[]`	Field type: `'a[]`
`opc` Full Usage: `opc` Field type: `OpCodeBED option[][]`	Field type: `OpCodeBED option[][]`
`outL` Full Usage: `outL` Field type: `(TgtAdr option * 'a option)[][]`	Field type: `(TgtAdr option * 'a option)[][]`
`outR` Full Usage: `outR` Field type: `(TgtAdr option * 'a option)[][]`	Field type: `(TgtAdr option * 'a option)[][]`
`pc` Full Usage: `pc` Field type: `int` Modifiers: mutable	Field type: `int`