rewriter_class

class rewriter_class

Protected attributes

const rewriter &rewriter_class::m_r

mutable_indexed_substitution &rewriter_class::m_sigma

Public member functions

void operator()(data_expression &result, const data_expression &t) const

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