Description
Definition at line 1036 of file SymbolicExpr.h.
Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpr::ShiftSimplifier:
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpr::ShiftSimplifier:
Public Member Functions | |
| ShiftSimplifier (bool newbits) | |
| Ptr | combine_strengths (Ptr strength1, Ptr strength2, size_t value_width, const SmtSolverPtr &solver) const |
 Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExpr::Simplifier | |
| virtual Ptr | fold (Nodes::const_iterator, Nodes::const_iterator) const |
| Constant folding. More... | |
| virtual Ptr | rewrite (Interior *, const SmtSolverPtr &) const |
| Rewrite the entire expression to something simpler. More... | |
Public Attributes | |
| bool | newbits |
The documentation for this struct was generated from the following file:
