QueryExpr (B2R2) | B2R2

QueryExpr Type

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

Represents one or more solver-model query expressions.

Union cases

Union case	Description
`Empty` Full Usage: `Empty`	Request no values.
`Value SymbExpr` Full Usage: `Value SymbExpr` Parameters: Item : `SymbExpr`	Request one symbolic expression value. Item : `SymbExpr`
`Values IQueryExpr list` Full Usage: `Values IQueryExpr list` Parameters: Item : `IQueryExpr list`	Request a nested sequence of query expressions. Item : `IQueryExpr list`

Instance members

Instance member	Description
`this.IsEmpty` Full Usage: `this.IsEmpty` Returns: `bool`	Returns: `bool`
`this.IsValue` Full Usage: `this.IsValue` Returns: `bool`	Returns: `bool`
`this.IsValues` Full Usage: `this.IsValues` Returns: `bool`	Returns: `bool`