Header menu logo B2R2

SolverValue Type

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll
Base Type: obj
All Interfaces: IEquatable<SolverValue> , IStructuralEquatable

Represents a single value returned by a solver's value query.

Record fields

Record Field Description

Name

Full Usage: Name

Field type: string
Field type: string

Value

Full Usage: Value

Field type: BitVector
Field type: BitVector

Type something to start searching.