Description
Definition at line 1047 of file SymbolicExpression.h.
Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpression::ShrSimplifier:
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpression::ShrSimplifier:
Public Member Functions | |
| ShrSimplifier (bool newbits) | |
| virtual Ptr | rewrite (Interior *, const SmtSolverPtr &) const override |
| Rewrite the entire expression to something simpler. | |
 Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExpression::ShiftSimplifier | |
| 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. | |
Additional Inherited Members | |
| Public Attributes inherited from Rose::BinaryAnalysis::SymbolicExpression::ShiftSimplifier | |
| bool | newbits |
Constructor & Destructor Documentation
◆ ShrSimplifier()
|
inline |
Definition at line 1048 of file SymbolicExpression.h.
Member Function Documentation
◆ rewrite()
|
overridevirtual |
Rewrite the entire expression to something simpler.
Returns the new node if the node can be simplified, otherwise returns null.
Reimplemented from Rose::BinaryAnalysis::SymbolicExpression::Simplifier.
The documentation for this struct was generated from the following file:
