Description
Definition at line 238 of file SmtSolver.h.
Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::Memoizer::Found:
Public Member Functions | |
| operator bool () const | |
| True if lookup was a cache hit. | |
Public Attributes | |
| Sawyer::Optional< Satisfiable > | satisfiable |
| If found, whether satisfiable. | |
| ExprList | sortedNormalized |
| Sorted and normalized assertions, regardless if found. | |
| SymbolicExpression::ExprExprHashMap | rewriteMap |
| Mapping from provided to sortedNormalized assertions. | |
| ExprExprMap | evidence |
| Normalized evidence if found and satisfiable. | |
Member Function Documentation
◆ operator bool()
|
inlineexplicit |
Member Data Documentation
◆ satisfiable
| Sawyer::Optional<Satisfiable> Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::satisfiable |
If found, whether satisfiable.
Definition at line 239 of file SmtSolver.h.
Referenced by operator bool().
◆ sortedNormalized
| ExprList Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::sortedNormalized |
Sorted and normalized assertions, regardless if found.
Definition at line 240 of file SmtSolver.h.
◆ rewriteMap
| SymbolicExpression::ExprExprHashMap Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::rewriteMap |
Mapping from provided to sortedNormalized assertions.
Definition at line 241 of file SmtSolver.h.
◆ evidence
| ExprExprMap Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::evidence |
Normalized evidence if found and satisfiable.
Definition at line 242 of file SmtSolver.h.
The documentation for this struct was generated from the following file:
