1 2 3 4 5 6 7 8
%{ #include "util/cvc4_assert.h" %} %rename(CVC4IllegalArgumentException) CVC4::IllegalArgumentException; %ignore CVC4::InternalErrorException::InternalErrorException(const char*, const char*, unsigned, const char*, ...); %include "util/cvc4_assert.h"