1 2 3 4 5 6 7 8 9 10
%{ #include "expr/expr_manager.h" %} %include "expr/expr_manager.h" %template(mkConst) CVC4::ExprManager::mkConst< CVC4::Integer >; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Rational>; %include "expr/expr_manager.h"