Description
Definition at line 951 of file SymbolicExpr.h.
Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpr::SmulSimplifier:
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpr::SmulSimplifier:
Public Member Functions | |
| virtual Ptr | fold (Nodes::const_iterator, Nodes::const_iterator) const override |
| Constant folding. More... | |
 Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExpr::Simplifier | |
| virtual Ptr | rewrite (Interior *, const SmtSolverPtr &) const |
| Rewrite the entire expression to something simpler. More... | |
Member Function Documentation
|
overridevirtual |
Constant folding.
The range begin (inclusive) to end (exclusive) must contain at least two nodes and all of the nodes must be leaf nodes with known values. This method returns a new folded node if folding is possible, or the null pointer if folding is not possible.
Reimplemented from Rose::BinaryAnalysis::SymbolicExpr::Simplifier.
The documentation for this struct was generated from the following file:
