Header menu logo B2R2

IQueryExpr Type

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll
Base Type: obj
All Interfaces: IQueryExpr

Represents values that can be requested from a solver model.

Instance members

Instance member Description

this.QueryValues

Full Usage: this.QueryValues

Returns: SymbExpr list
Modifiers: abstract

Symbolic expressions to include in solver value extraction.

Returns: SymbExpr list

Type something to start searching.