Description

Definition at line 1018 of file SymbolicExpr.h.

Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpr::UltSimplifier:

Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpr::UltSimplifier:

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::UltSimplifier::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.

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