ROSE  0.9.10.91
Public Member Functions | Public Attributes | List of all members
Rose::BinaryAnalysis::SymbolicExpr::ShiftSimplifier Struct Reference

Description

Definition at line 724 of file BinarySymbolicExpr.h.

Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpr::ShiftSimplifier:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpr::ShiftSimplifier:
Collaboration graph
[legend]

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: