summaryrefslogtreecommitdiff
path: root/src/parser/cvc4parser.i
blob: 2ad3bf01deced5ffe6ecb8cbaca955b70b7cd622 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

%import "bindings/swig.h"

%module CVC4Parser
// nspace completely broken with Java packaging
//%nspace;

%{
namespace CVC4 {}
using namespace CVC4;
%}

%include "parser/parser_exception.i"
%include "parser/input.i"
%include "parser/parser.i"
%include "parser/parser_builder.i"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback