ROSE  0.11.98.0
Public Member Functions | List of all members
Rose::BinaryAnalysis::SymbolicExpr::LssbSimplifier Struct Reference

Description

Definition at line 1049 of file SymbolicExpr.h.

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

Public Member Functions

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

Member Function Documentation

virtual Ptr Rose::BinaryAnalysis::SymbolicExpr::LssbSimplifier::rewrite ( Interior ,
const SmtSolverPtr &   
) const
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::SymbolicExpr::Simplifier.


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