Public Member Functions | List of all members
Rose::BinaryAnalysis::SymbolicExpression::OrSimplifier Struct Reference


Definition at line 948 of file SymbolicExpression.h.

Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpression::OrSimplifier:
Inheritance graph
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpression::OrSimplifier:
Collaboration graph

Public Member Functions

virtual Ptr fold (Nodes::const_iterator, Nodes::const_iterator) const override
 Constant folding. More...
virtual Ptr rewrite (Interior *, const SmtSolverPtr &) const override
 Rewrite the entire expression to something simpler. More...

Member Function Documentation

virtual Ptr Rose::BinaryAnalysis::SymbolicExpression::OrSimplifier::fold ( Nodes::const_iterator  ,
) const

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::SymbolicExpression::Simplifier.

virtual Ptr Rose::BinaryAnalysis::SymbolicExpression::OrSimplifier::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::SymbolicExpression::Simplifier.

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