Description
Definition at line 1047 of file SymbolicExpression.h.
Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpression::ShiftSimplifier:
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpression::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::SymbolicExpression::Simplifier | |
| virtual Ptr | fold (Nodes::const_iterator, Nodes::const_iterator) const |
| Constant folding. | |
| virtual Ptr | rewrite (Interior *, const SmtSolverPtr &) const |
| Rewrite the entire expression to something simpler. | |
Public Attributes | |
| bool | newbits |
Constructor & Destructor Documentation
◆ ShiftSimplifier()
|
inline |
Definition at line 1049 of file SymbolicExpression.h.
Member Data Documentation
◆ newbits
| bool Rose::BinaryAnalysis::SymbolicExpression::ShiftSimplifier::newbits |
Definition at line 1048 of file SymbolicExpression.h.
The documentation for this struct was generated from the following file:
