Description

Definition at line 1043 of file SymbolicExpression.h.

Inheritance diagram for Rose::BinaryAnalysis::SymbolicExpression::ShlSimplifier:

Collaboration diagram for Rose::BinaryAnalysis::SymbolicExpression::ShlSimplifier:

Public Member Functions
	ShlSimplifier (bool newbits)

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

Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExpression::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::SymbolicExpression::Simplifier
virtual Ptr	fold (Nodes::const_iterator, Nodes::const_iterator) const
	Constant folding.

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

Constructor & Destructor Documentation

Rose::BinaryAnalysis::SymbolicExpression::ShlSimplifier::ShlSimplifier ( bool newbits )

inline

Definition at line 1044 of file SymbolicExpression.h.

virtual Ptr Rose::BinaryAnalysis::SymbolicExpression::ShlSimplifier::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: