SymbQueryRequest Type
Represents a symbolic query and the values to extract for model queries.
Record fields
| Record Field |
Description
|
Query to answer.
|
|
|
Symbolic values to extract for satisfiability queries.
|
B2R2