Header menu logo B2R2

SymbQueryRequest Type

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll
Base Type: obj

Represents a symbolic query and the values to extract for model queries.

Record fields

Record Field Description

Query

Full Usage: Query

Field type: SymbQuery

Query to answer.

Field type: SymbQuery

QueryValues

Full Usage: QueryValues

Field type: IQueryExpr

Symbolic values to extract for satisfiability queries.

Field type: IQueryExpr

Type something to start searching.