ROSE  0.11.98.0
Public Member Functions | Public Attributes | List of all members
Rose::BinaryAnalysis::SmtSolver::Memoizer::Found Struct Reference

Description

Definition at line 234 of file SmtSolver.h.

Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::Memoizer::Found:
Collaboration graph
[legend]

Public Member Functions

 operator bool () const
 True if lookup was a cache hit. More...
 

Public Attributes

Sawyer::Optional< Satisfiablesatisfiable
 If found, whether satisfiable. More...
 
ExprList sortedNormalized
 Sorted and normalized assertions, regardless if found. More...
 
SymbolicExpr::ExprExprHashMap rewriteMap
 Mapping from provided to sortedNormalized assertions. More...
 
ExprExprMap evidence
 Normalized evidence if found and satisfiable. More...
 

Member Function Documentation

Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::operator bool ( ) const
inlineexplicit

True if lookup was a cache hit.

Definition at line 241 of file SmtSolver.h.

References satisfiable.

Member Data Documentation

Sawyer::Optional<Satisfiable> Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::satisfiable

If found, whether satisfiable.

Definition at line 235 of file SmtSolver.h.

Referenced by operator bool().

ExprList Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::sortedNormalized

Sorted and normalized assertions, regardless if found.

Definition at line 236 of file SmtSolver.h.

SymbolicExpr::ExprExprHashMap Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::rewriteMap

Mapping from provided to sortedNormalized assertions.

Definition at line 237 of file SmtSolver.h.

ExprExprMap Rose::BinaryAnalysis::SmtSolver::Memoizer::Found::evidence

Normalized evidence if found and satisfiable.

Definition at line 238 of file SmtSolver.h.


The documentation for this struct was generated from the following file: