本文整理汇总了C++中scoped_ptr::apply_substitution方法的典型用法代码示例。如果您正苦于以下问题：C++ scoped_ptr::apply_substitution方法的具体用法？C++ scoped_ptr::apply_substitution怎么用？C++ scoped_ptr::apply_substitution使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类scoped_ptr的用法示例。
在下文中一共展示了scoped_ptr::apply_substitution方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: subst
virtual void subst(contains_app& x, rational const& vl, expr_ref& fml, expr_ref* def) {
app_ref c(m_bv.mk_numeral(vl, m_bv.get_bv_size(x.x())), m);
m_replace->apply_substitution(x.x(), c, 0, fml);
if (def) {
*def = m_bv.mk_numeral(vl, m_bv.get_bv_size(x.x()));
}
}