Public Member Functions | List of all members
Rose::BinaryAnalysis::SymbolicExpr::ShlSimplifier Struct Reference


Definition at line 709 of file BinarySymbolicExpr.h.

Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpr::ShlSimplifier:
Inheritance graph
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpr::ShlSimplifier:
Collaboration graph

Public Member Functions

 ShlSimplifier (bool newbits)
virtual Ptr rewrite (Interior *, const SmtSolverPtr &) const ROSE_OVERRIDE
 Rewrite the entire expression to something simpler. More...
- Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExpr::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::SymbolicExpr::Simplifier
virtual Ptr fold (Nodes::const_iterator begin, Nodes::const_iterator end) const
 Constant folding. More...

Additional Inherited Members

- Public Attributes inherited from Rose::BinaryAnalysis::SymbolicExpr::ShiftSimplifier
bool newbits

Member Function Documentation

virtual Ptr Rose::BinaryAnalysis::SymbolicExpr::ShlSimplifier::rewrite ( Interior ,
const SmtSolverPtr  
) const

Rewrite the entire expression to something simpler.

Returns the new node if the node can be simplified, otherwise returns null.

Reimplemented from Rose::BinaryAnalysis::SymbolicExpr::Simplifier.

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