rewriter_class

class rewriter_class

Protected attributes

const rewriter &m_r
mutable_indexed_substitution &m_sigma

Public member functions

const data_expression operator()(const data_expression &t) const
rewriter_class(const rewriter &r, mutable_indexed_substitution<> &sigma)