1 2 3 4 5 6 7
%{ #include "smt/logic_exception.h" %} %ignore CVC4::LogicException::LogicException(const char*); %include "smt/Logic_exception.h"