diff options
Diffstat (limited to 'src/options/options.i')
-rw-r--r-- | src/options/options.i | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/options/options.i b/src/options/options.i deleted file mode 100644 index 319b4addb..000000000 --- a/src/options/options.i +++ /dev/null @@ -1,22 +0,0 @@ -%{ -#include "options/options.h" -%} - -%ignore CVC4::Options::registerAndNotify(ListenerCollection& collection, Listener* listener, bool notify); -%ignore CVC4::Options::registerBeforeSearchListener(Listener* listener); -%ignore CVC4::Options::registerTlimitListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerTlimitPerListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerRlimitListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerRlimitPerListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetDefaultExprDepthListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetDefaultExprDagListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetPrintExprTypesListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetDumpModeListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetPrintSuccessListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerDumpToFileNameListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetRegularOutputChannelListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetDiagnosticOutputChannelListener(Listener* listener, bool notifyIfSet); - -%apply char** STRING_ARRAY { char* argv[] } -%include "options/options.h" -%clear char* argv[]; |