summaryrefslogtreecommitdiff
path: root/src/util/statistics.i
blob: a14fc29dd9e851799c2e5cf90237207029a7fc3d (plain) 
1
2
3
4
5
6
7
8

%{
#include "util/statistics.h"
%}

%rename(assign) CVC4::Statistics::operator=(const StatisticsBase&);
%rename(assign) CVC4::Statistics::operator=(const Statistics& stats);

%include "util/statistics.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback