ROSE  0.9.9.168
Public Member Functions | List of all members
Rose::BinaryAnalysis::SymbolicExpr::SmulSimplifier Struct Reference

Description

Definition at line 602 of file BinarySymbolicExpr.h.

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

Public Member Functions

virtual Ptr fold (Nodes::const_iterator, Nodes::const_iterator) const ROSE_OVERRIDE
 Constant folding. More...
 
- Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExpr::Simplifier
virtual Ptr rewrite (Interior *) const
 Rewrite the entire expression to something simpler. More...
 

Member Function Documentation

virtual Ptr Rose::BinaryAnalysis::SymbolicExpr::SmulSimplifier::fold ( Nodes::const_iterator  begin,
Nodes::const_iterator  end 
) const
virtual

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: