Description

Definition at line 1045 of file SymbolicExpr.h.

Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpr::ShrSimplifier:

Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpr::ShrSimplifier:

Public Member Functions
	ShrSimplifier (bool newbits)

virtual Ptr	rewrite (Interior *, const SmtSolverPtr &) const override
	Rewrite the entire expression to something simpler. More...

Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExpr::ShiftSimplifier
	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...

Additional Inherited Members
Public Attributes inherited from Rose::BinaryAnalysis::SymbolicExpr::ShiftSimplifier
bool	newbits

Member Function Documentation

virtual Ptr Rose::BinaryAnalysis::SymbolicExpr::ShrSimplifier::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: