State (B2R2)

State Type

Namespace: B2R2.RearEnd.ROP
Assembly: B2R2.RearEnd.ROP.dll
Base Type: obj
All Interfaces: IEquatable<State> , IStructuralEquatable , IComparable<State> , IComparable , IStructuralComparable

Record Field	Description
`Mems` Full Usage: `Mems` Field type: `Map<Value, Value>`	Field type: `Map<Value, Value>`
`Regs` Full Usage: `Regs` Field type: `Map<Reg, Value>`	Field type: `Map<Reg, Value>`
`SideEff` Full Usage: `SideEff` Field type: `bool`	Field type: `bool`
`SysCall` Full Usage: `SysCall` Field type: `State list`	Field type: `State list`
`TempRegs` Full Usage: `TempRegs` Field type: `Map<int, Value>`	Field type: `Map<int, Value>`