B2R2

EvalValue Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: ValueType
All Interfaces: IEquatable<EvalValue> , IStructuralEquatable
Kind: Struct

A value is either defined or undefined.

Union cases

Union case Description

Def BitVector

Full Usage: Def BitVector

Parameters:

Item : BitVector

Undef

Full Usage: Undef