src/parser/cvc4parser.i

   1 %import "bindings/swig.h"
   2
   3 %module CVC4Parser
   4 // nspace completely broken with Java packaging
   5 //%nspace;
   6
   7 %{
   8 namespace CVC4 {}
   9 using namespace CVC4;
  10 %}
  11
  12 %include "parser/parser_exception.i"
  13 %include "parser/input.i"
  14 %include "parser/parser.i"
  15 %include "parser/parser_builder.i"