Struct rapid_simplify_visitor

Struct Documentation

struct rapid_simplify_visitor

Public Functions

inline void operator()(ExprPtr &expr)
inline bool simplify_product(ExprPtr &expr)

simplifies a Product by:

  • flattening subproducts

  • factoring in constants

Parameters:

expr[inout] (shared_ptr to ) a Product

inline bool simplify_sum(ExprPtr &expr)

simplifies a Sum … generally Sum::{ap,pre}pend simplify automatically, but the user code may transforms sums in a way that the same simplifications need to be applied here

inline bool simplify(ExprPtr &expr)