StateCreationOptions<'Memory, 'Value> (B2R2)

StateCreationOptions<'Memory, 'Value> Type

Namespace: B2R2.MiddleEnd.Executor
Assembly: B2R2.MiddleEnd.Executor.dll
Base Type: obj
All Interfaces: IEquatable<StateCreationOptions<'Memory, 'Value>> , IStructuralEquatable , IComparable<StateCreationOptions<'Memory, 'Value>> , IComparable , IStructuralComparable

Represents options for creating an execution state.

Record Field	Description
`Memory` Full Usage: `Memory` Field type: `InitialMemory<'Memory>`	Initial memory. Field type: `InitialMemory<'Memory>`
`Registers` Full Usage: `Registers` Field type: `(RegisterID * 'Value)[]`	Initial registers. Field type: `(RegisterID * 'Value)[]`