varun-nagaraja / alchemy-2 Goto Github PK

$ brew update
$ brew tap homebrew/versions
$ brew install gcc49 perl518 bison flex
$ brew install gcc49 perl518 bison flex
Warning: homebrew/versions/gcc49-4.9.3 already installed
Warning: homebrew/versions/perl518-5.18.2 already installed
Warning: bison-3.0.4 already installed
Warning: flex-2.6.1 already installed

# install Gurobi exact version 5.6.0:
http://packages.gurobi.com/5.6/gurobi5.6.0_mac64.pkg

$ git clone https://github.com/varun-nagaraja/alchemy-2.git
$ cd alchemy-2
$ mkdir -p bin/obj
$ cd src
$ cp makefile_osx makefile
$ make all -j4

gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/learnwts.o -c ../src/learnwts/learnwts.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/arguments.o -c ../src/util/arguments.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/powerset.o -c ../src/util/powerset.cpp
../src/parser/replacefoly.pl ../src/parser/fol.y bison
flex -o../src/parser/follex.cpp ../src/parser/follex.y
bison ../src/parser/fol.y;
mv -f fol.tab.c  ../src/parser/fol.cpp
../src/parser/replacefolcpp.pl ../src/parser/fol.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/fol.o -c ../src/parser/fol.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/listobj.o -c ../src/parser/listobj.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/predicatetemplate.o -c ../src/logic/predicatetemplate.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/functiontemplate.o -c ../src/logic/functiontemplate.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/function.o -c ../src/logic/function.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/predicate.o -c ../src/logic/predicate.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/term.o -c ../src/logic/term.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/domain.o -c ../src/logic/domain.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/clause.o -c ../src/logic/clause.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/clausesampler.o -c ../src/logic/clausesampler.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/Polynomial.o -c ../src/logic/Polynomial.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/random.o -c ../src/util/random.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/logichelper.o -c ../src/logic/logichelper.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/groundclause.o -c ../src/infer/groundclause.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/inferutil.o -c ../src/infer/inferutil.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/createhypercube.o -c ../src/infer/createhypercube.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/createhypercubebasic.o -c ../src/infer/createhypercubebasic.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/createhypercubedt.o -c ../src/infer/createhypercubedt.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/joinhypercube.o -c ../src/infer/joinhypercube.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/refinehypercube.o -c ../src/infer/refinehypercube.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/superpred.o -c ../src/infer/superpred.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/superclause.o -c ../src/infer/superclause.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/node.o -c ../src/infer/node.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/factor.o -c ../src/infer/factor.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/liftedalgsconvertor.o -c ../src/liftedinfer/bridge/src/liftedalgsconvertor.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/liftedalgshandler.o -c ../src/liftedinfer/bridge/src/liftedalgshandler.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/decomposer.o -c ../src/liftedinfer/common/src/decomposer.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/fileutils.o -c ../src/liftedinfer/common/src/fileutils.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/heuristics.o -c ../src/liftedinfer/common/src/heuristics.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/logdouble.o -c ../src/liftedinfer/common/src/logdouble.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/lvrmln.o -c ../src/liftedinfer/common/src/lvrmln.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/mathutils.o -c ../src/liftedinfer/common/src/mathutils.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/normalizer.o -c ../src/liftedinfer/common/src/normalizer.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/propositionalresolution.o -c ../src/liftedinfer/common/src/propositionalresolution.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/queryupdater.o -c ../src/liftedinfer/common/src/queryupdater.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/samplingalgs.o -c ../src/liftedinfer/common/src/samplingalgs.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/blockexactinference.o -c ../src/liftedinfer/liftedblockedgibbs/src/blockexactinference.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/clustercreator.o -c ../src/liftedinfer/liftedblockedgibbs/src/clustercreator.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/lbgsampler.o -c ../src/liftedinfer/liftedblockedgibbs/src/lbgsampler.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/lvrcluster.o -c ../src/liftedinfer/liftedblockedgibbs/src/lvrcluster.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/ptpsampler.o -c ../src/liftedinfer/liftedblockedgibbs/src/ptpsampler.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/lisapproxinference.o -c ../src/liftedinfer/liftedimportancesampling/src/lisapproxinference.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/proposalconstructor.o -c ../src/liftedinfer/liftedimportancesampling/src/proposalconstructor.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/proposalstructure.o -c ../src/liftedinfer/liftedimportancesampling/src/proposalstructure.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/cache.o -c ../src/liftedinfer/liftedweightedmodelcounting/src/cache.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/extensions.o -c ../src/liftedinfer/liftedweightedmodelcounting/src/extensions.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/ptpsearch.o -c ../src/liftedinfer/liftedweightedmodelcounting/src/ptpsearch.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/resolver.o -c ../src/liftedinfer/liftedweightedmodelcounting/src/resolver.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/sampler.o -c ../src/liftedinfer/liftedweightedmodelcounting/src/sampler.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/splitter.o -c ../src/liftedinfer/liftedweightedmodelcounting/src/splitter.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/unifier.o -c ../src/liftedinfer/liftedweightedmodelcounting/src/unifier.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/parser.o -c ../src/liftedinfer/tests/parser.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/testmodelcount.o -c ../src/liftedinfer/tests/testmodelcount.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/wmconvertor.o -c ../src/liftedinfer/liftedweightedmodelcounting/src/wmconvertor.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/randomgenutil.o -c ../src/liftedinfer/common/src/randomgenutil.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/testformulainfer.o -c ../src/liftedinfer/tests/testformulainfer.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/lvrptptreesampling.o -c ../src/liftedinfer/common/src/lvrptptreesampling.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/lvrptpsearchtree.o -c ../src/liftedinfer/common/src/lvrptpsearchtree.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/infer.o -c ../src/infer/infer.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/learnstruct.o -c ../src/learnstruct/learnstruct.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/liftedinfer.o -c ../src/liftedinfer/liftedinfer.cpp
gcc-4.9 -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic -I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer -I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes -I../src/liftedinfer/liftedblockedgibbs/includes -I../src/liftedinfer/liftedimportancesampling/includes -I../src/liftedinfer/liftedweightedmodelcounting/includes -I../src/liftedinfer/tests -I/Library/gurobi560/mac64/include -o ../bin/obj/runtestsmain.o -c ../src/liftedinfer/tests/runtestsmain.cpp
echo ../bin/obj/learnwts.o
../bin/obj/learnwts.o
gcc-4.9 -g -Wno-deprecated -Wall -L. -L../src/util -L../src/logic -L../src/parser -L../src/learnwts -L../src/learnstruct -L../src/infer -L/Library/gurobi560/mac64/lib -o ../bin/obj/learnwts.oo ../bin/obj/arguments.o ../bin/obj/powerset.o ../bin/obj/fol.o ../bin/obj/listobj.o ../bin/obj/predicatetemplate.o ../bin/obj/functiontemplate.o ../bin/obj/function.o ../bin/obj/predicate.o ../bin/obj/term.o ../bin/obj/domain.o ../bin/obj/clause.o ../bin/obj/clausesampler.o ../bin/obj/Polynomial.o ../bin/obj/random.o ../bin/obj/logichelper.o ../bin/obj/groundclause.o ../bin/obj/inferutil.o ../bin/obj/createhypercube.o ../bin/obj/createhypercubebasic.o ../bin/obj/createhypercubedt.o ../bin/obj/joinhypercube.o ../bin/obj/refinehypercube.o ../bin/obj/superpred.o ../bin/obj/superclause.o ../bin/obj/node.o ../bin/obj/factor.o ../bin/obj/liftedalgsconvertor.o ../bin/obj/liftedalgshandler.o ../bin/obj/decomposer.o ../bin/obj/fileutils.o ../bin/obj/heuristics.o ../bin/obj/logdouble.o ../bin/obj/lvrmln.o ../bin/obj/mathutils.o ../bin/obj/normalizer.o ../bin/obj/propositionalresolution.o ../bin/obj/queryupdater.o ../bin/obj/samplingalgs.o ../bin/obj/blockexactinference.o ../bin/obj/clustercreator.o ../bin/obj/lbgsampler.o ../bin/obj/lvrcluster.o ../bin/obj/ptpsampler.o ../bin/obj/lisapproxinference.o ../bin/obj/proposalconstructor.o ../bin/obj/proposalstructure.o ../bin/obj/cache.o ../bin/obj/extensions.o ../bin/obj/ptpsearch.o ../bin/obj/resolver.o ../bin/obj/sampler.o ../bin/obj/splitter.o ../bin/obj/unifier.o ../bin/obj/parser.o ../bin/obj/testmodelcount.o ../bin/obj/wmconvertor.o ../bin/obj/randomgenutil.o ../bin/obj/testformulainfer.o ../bin/obj/lvrptptreesampling.o ../bin/obj/lvrptpsearchtree.o ../bin/obj/learnwts.o -ldl -lgurobi_c++ -lgurobi56
Undefined symbols for architecture x86_64:
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::find_last_of(char const*, unsigned long) const", referenced from:
      zzdetermineIntPredTypes(ListObj* const&) in fol.o
      zzdetermineIntFuncTypes(ListObj* const&) in fol.o
      zzcreateInternalPredTemplate(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, char const* const&) in fol.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::find_first_of(char const*, unsigned long) const", referenced from:
      zzcreateInternalFuncTemplate(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&) in fol.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::find_first_of(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, unsigned long) const", referenced from:
      LStringConversionUtils::tokenize(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in lbgsampler.o
      LStringConversionUtils::tokenize(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in proposalstructure.o
      LStringConversionUtils::tokenize(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in parser.o
      LStringConversionUtils::tokenize(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in testformulainfer.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::find_first_not_of(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, unsigned long) const", referenced from:
      LStringConversionUtils::tokenize(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in lbgsampler.o
      LStringConversionUtils::tokenize(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in proposalstructure.o
      LStringConversionUtils::tokenize(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in parser.o
      LStringConversionUtils::tokenize(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in testformulainfer.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::at(unsigned long) const", referenced from:
      zzpermuteAsteriskedPreds(int const&, ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<ListObj*>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&) in fol.o
      Util::substr(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, unsigned int&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, char const* const&) in learnwts.o
      Util::trim(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in learnwts.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::copy(char*, unsigned long, unsigned long) const", referenced from:
      extractArgs(char const* const&, int&, char**) in learnwts.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::find(char const*, unsigned long) const", referenced from:
      LHeuristics::decomposition_lookahead(std::vector<WClause*, std::allocator<WClause*> >) in heuristics.o
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseDomainString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parsePredicateString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      LMParser::parseDB(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      LWMConvertor::convertMLN()       in wmconvertor.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::find(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, unsigned long) const", referenced from:
      zzgroundPlusVar(ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, HashString, EqualString, std::allocator<int> > const&, Array<ListObj*>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, Domain const* const&, Domain const* const&) in fol.o
      Internals::substr(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in fol.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::size() const", referenced from:
      std::basic_string<char, std::char_traits<char>, std::allocator<char> > std::operator+<char, std::char_traits<char>, std::allocator<char> >(char const*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in fol.o
      GibbsProcessHandler::startLBGForMar(LvrParams*)       in liftedalgshandler.o
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LFileDump::readDumpedProposalFile(std::vector<Atom*, std::allocator<Atom*> >&, std::vector<std::vector<Atom*, std::allocator<Atom*> >, std::allocator<std::vector<Atom*, std::allocator<Atom*> > > >&, std::vector<int, std::allocator<int> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::c_str() const", referenced from:
      ARGS::checkMissing(bool)  in arguments.o
      yyerror(char const*) in fol.o
      zzwarn(char const* const&) in fol.o
      zzassert(bool const&, char const* const&) in fol.o
      zzmsg(char const* const&) in fol.o
      zzcheckVarNameToIdMap()     in fol.o
      zzsetEqPredTypeName(int const&) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::empty() const", referenced from:
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      Util::trim(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in learnwts.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::rfind(char const*, unsigned long) const", referenced from:
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      Term::printWithStrVar(std::basic_ostream<char, std::char_traits<char> >&, Domain const* const&) const in term.o
      Term::print(std::basic_ostream<char, std::char_traits<char> >&, Domain const* const&) const in term.o
      GroundPredicate::getPredString(Domain const* const&) in liftedalgsconvertor.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::length() const", referenced from:
      rmTmpPostfix(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in fol.o
      zzpermuteAsteriskedPreds(int const&, ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<ListObj*>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&) in fol.o
      zzgroundPlusVar(ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, HashString, EqualString, std::allocator<int> > const&, Array<ListObj*>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, Domain const* const&, Domain const* const&) in fol.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::substr(unsigned long, unsigned long) const", referenced from:
      rmTmpPostfix(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in fol.o
      zzdetermineIntPredTypes(ListObj* const&) in fol.o
      zzdetermineIntFuncTypes(ListObj* const&) in fol.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::compare(char const*) const", referenced from:
      bool std::operator==<char, std::char_traits<char>, std::allocator<char> >(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, char const*) in learnwts.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::compare(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const", referenced from:
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      EqualString::operator()(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const in fol.o
      EqualHashFormulaAndClauses::operator()(FormulaAndClauses const* const&, FormulaAndClauses const* const&) const in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::compare(unsigned long, unsigned long, char const*, unsigned long) const", referenced from:
      rmTmpPostfix(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in fol.o
  "std::basic_stringstream<char, std::char_traits<char>, std::allocator<char> >::str() const", referenced from:
      LFileDump::printClause(std::basic_ofstream<char, std::char_traits<char> >*, WClause*) in liftedalgshandler.o
      LWMConvertor::convertMLN()       in wmconvertor.o
      TestFormulaInfer::runFormulaInferenceTests()       in testformulainfer.o
      LStringConversionUtils::toString(int)   in testformulainfer.o
      ILP_Gurobi::gurobi_maximize(GRBModel*, Array<int>*, VariableState*, bool, __gnu_cxx::hash_map<GroundPredicate*, long double, HashGroundPredicate, EqualGroundPredicate, std::allocator<long double> >*, __gnu_cxx::hash_map<int, bool, __gnu_cxx::hash<int>, std::equal_to<int>, std::allocator<bool> >*) in learnwts.o
  "std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >::str() const", referenced from:
      ARGS::checkMissing(bool)  in arguments.o
      zzappendUnitClausesToMLN(Domain const* const&, MLN* const&, double const&) in fol.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      ...
  "std::basic_ios<char, std::char_traits<char> >::fail() const", referenced from:
      zzcompileFunctions(char const*) in fol.o
  "std::basic_ios<char, std::char_traits<char> >::good() const", referenced from:
      ARGS::parseFromFile(char*)  in arguments.o
      createDomainAndMLN(Array<Domain*>&, Array<MLN*>&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, double const&, bool const&, bool const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&) in learnwts.o
      extractPredNames(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const*, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString>&) in learnwts.o
      copyFileAndAppendDbFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&) in learnwts.o
      _main in learnwts.o
      HVariableState::setProposalStdev(char const*) in learnwts.o
  "std::basic_ios<char, std::char_traits<char> >::operator void*() const", referenced from:
      ARGS::parseFromFile(char*)  in arguments.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      Internals::stringToInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int&) in fol.o
      PolyNomial::ReadFrom(std::basic_istream<char, std::char_traits<char> >&) in Polynomial.o
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LFileDump::readDumpedProposalFile(std::vector<Atom*, std::allocator<Atom*> >&, std::vector<std::vector<Atom*, std::allocator<Atom*> >, std::allocator<std::vector<Atom*, std::allocator<Atom*> > > >&, std::vector<int, std::allocator<int> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      ...
  "std::basic_ios<char, std::char_traits<char> >::operator!() const", referenced from:
      ARGS::parseFromFile(char*)  in arguments.o
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
  "std::allocator<char>::allocator()", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      yyerror(char const*) in fol.o
      zzassert(bool const&, char const* const&) in fol.o
      zzgetNewVarName(char const* const&) in fol.o
      zzgetVarId(char const* const&, int const&, int&) in fol.o
      zzgetVarTypeId(char const* const&) in fol.o
      zzvarIsQuantified(char const* const&) in fol.o
      ...
  "std::allocator<char>::~allocator()", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      yyerror(char const*) in fol.o
      zzassert(bool const&, char const* const&) in fol.o
      zzgetNewVarName(char const* const&) in fol.o
      zzgetVarId(char const* const&, int const&, int&) in fol.o
      zzgetVarTypeId(char const* const&) in fol.o
      zzvarIsQuantified(char const* const&) in fol.o
      ...
  "std::basic_istream<char, std::char_traits<char> >::get(char*, long, char)", referenced from:
      ARGS::parseFromFile(char*)  in arguments.o
  "std::basic_istream<char, std::char_traits<char> >::get(char&)", referenced from:
      ARGS::parseFromFile(char*)  in arguments.o
  "std::basic_istream<char, std::char_traits<char> >::getline(char*, long)", referenced from:
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LFileDump::readDumpedProposalFile(std::vector<Atom*, std::allocator<Atom*> >&, std::vector<std::vector<Atom*, std::allocator<Atom*> >, std::allocator<std::vector<Atom*, std::allocator<Atom*> > > >&, std::vector<int, std::allocator<int> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseDomainString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      LMParser::parseDB(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      ...
  "std::basic_istream<char, std::char_traits<char> >::operator>>(double&)", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LStringConversionUtils::toDouble(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in testformulainfer.o
      HVariableState::setProposalStdev(char const*) in learnwts.o
  "std::basic_istream<char, std::char_traits<char> >::operator>>(float&)", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
  "std::basic_istream<char, std::char_traits<char> >::operator>>(int&)", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      Internals::stringToInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int&) in fol.o
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LStringConversionUtils::toInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LStringConversionUtils::toInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in testformulainfer.o
      ...
  "std::basic_istream<char, std::char_traits<char> >::operator>>(unsigned int&)", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
  "std::basic_ostream<char, std::char_traits<char> >::flush()", referenced from:
      _main in learnwts.o
      MCSAT::infer()     in learnwts.o
      GibbsSampler::infer()      in learnwts.o
      SimulatedTempering::infer()      in learnwts.o
      HMCSAT::infer()     in learnwts.o
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(std::basic_ostream<char, std::char_traits<char> >& (*)(std::basic_ostream<char, std::char_traits<char> >&))", referenced from:
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      yyerror(char const*) in fol.o
      zzdetermineEqPredTypes(ListObj* const&) in fol.o
      zzdetermineIntPredTypes(ListObj* const&) in fol.o
      zzdetermineIntFuncTypes(ListObj* const&) in fol.o
      zzconsumeToken(StrFifoList&, char const*) in fol.o
      zzappendFormulaClausesToMLN(ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int const&, double const* const&, double const&, Domain const* const&, MLN* const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, ZZVarIdType, HashString, EqualString, std::allocator<ZZVarIdType> > const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, HashString, EqualString, std::allocator<int> > const&, int const&, bool const&, bool const&, bool const&, bool const&, bool const&, ListObj const* const&, double, bool const&, double const* const&, Array<int>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, Clause*&, Domain const* const&) in fol.o
      ...
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(void const*)", referenced from:
      WClause::print()     in liftedalgshandler.o
      Atom::print(bool) in lvrmln.o
      WClause::print()     in normalizer.o
      WClause::print()     in cache.o
      WClause::print()     in testmodelcount.o
      LvrPTPNode::print()      in lvrptpsearchtree.o
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(bool)", referenced from:
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, ARGS&) in arguments.o
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      SAT::printProbabilities(std::basic_ostream<char, std::char_traits<char> >&) in learnwts.o
      FactorGraph::getEqualPredicateIndexedGndings(Array<Predicate*>* const&, Predicate* const&, Domain* const&, bool) in learnwts.o
      HMCSAT::performMCSatStep(bool const&) in learnwts.o
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(double)", referenced from:
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, ARGS&) in arguments.o
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      Clause::print(std::basic_ostream<char, std::char_traits<char> >&, Domain const* const&, bool const&, bool const&, bool const&) const in fol.o
      Timer::printTime(std::basic_ostream<char, std::char_traits<char> >&, double const&) in fol.o
      Clause::print(std::basic_ostream<char, std::char_traits<char> >&, Domain const* const&, bool const&, bool const&, bool const&) const in clause.o
      PolyNomial::PrintVars(std::basic_ostream<char, std::char_traits<char> >&) const in Polynomial.o
      PolyNomial::PrintTo(std::basic_ostream<char, std::char_traits<char> >&) const in Polynomial.o
      ...
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(long double)", referenced from:
      LogDouble::printValue()      in liftedalgshandler.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, LogDouble const&) in liftedalgshandler.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, LogDouble const&) in lvrmln.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, LogDouble const&) in normalizer.o
      LogDouble::printValue()      in lisapproxinference.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, LogDouble const&) in proposalstructure.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, LogDouble const&) in cache.o
      ...
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(float)", referenced from:
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, ARGS&) in arguments.o
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(int)", referenced from:
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, ARGS&) in arguments.o
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      yyerror(char const*) in fol.o
      zzappendFormulaClausesToMLN(ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int const&, double const* const&, double const&, Domain const* const&, MLN* const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, ZZVarIdType, HashString, EqualString, std::allocator<ZZVarIdType> > const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, HashString, EqualString, std::allocator<int> > const&, int const&, bool const&, bool const&, bool const&, bool const&, bool const&, ListObj const* const&, double, bool const&, double const* const&, Array<int>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, Clause*&, Domain const* const&) in fol.o
      zzappendFormulasToMLN(Array<ZZFormulaInfo*>&, MLN* const&, Domain const* const&) in fol.o
      runYYParser(MLN* const&, Domain* const&, char const* const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, bool const&, double const&, bool const&, Domain const* const&, bool const&, bool const&) in fol.o
      DualMap::insert(char const* const&) in fol.o
      ...
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned int)", referenced from:
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      LFileDump::printClause(std::basic_ofstream<char, std::char_traits<char> >*, WClause*) in liftedalgshandler.o
      LProposalTable::printDistribution()       in proposalstructure.o
      LProposalDistributionElement::print()      in proposalstructure.o
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(long)", referenced from:
      Random::init(long const&) in domain.o
      Random::init(long const&) in learnwts.o
  "std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)", referenced from:
      WClause::print()     in liftedalgshandler.o
      LFileDump::printClause(std::basic_ofstream<char, std::char_traits<char> >*, WClause*) in liftedalgshandler.o
      LFileDump::dumpSymbols(LvrMLN*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in liftedalgshandler.o
      Atom::print(bool) in lvrmln.o
      WClause::print()     in normalizer.o
      WClause::print()     in cache.o
      WClause::print()     in testmodelcount.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::at(unsigned long)", referenced from:
      zzpermuteAsteriskedPreds(int const&, ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<ListObj*>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      createComLineQueryPreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, Array<int>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      extractPredNames(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const*, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString>&) in learnwts.o
      createQueryFilePreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::end()", referenced from:
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseDomainString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::begin()", referenced from:
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseDomainString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::clear()", referenced from:
      zzreset()    in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      Util::substr(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, unsigned int&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, char const* const&) in learnwts.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::erase(__gnu_cxx::__normal_iterator<char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, __gnu_cxx::__normal_iterator<char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >)", referenced from:
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseDomainString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::append(char const*)", referenced from:
      yyerror(char const*) in fol.o
      zzassert(bool const&, char const* const&) in fol.o
      zztermIsConstant(char const* const&, char const* const&, bool const&) in fol.o
      zztermIsVariable(bool const&) in fol.o
      zzappend(char const* const&, int const&) in fol.o
      zzappendWithUnderscore(char const* const&, int const&) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::append(char const*, unsigned long)", referenced from:
      std::basic_string<char, std::char_traits<char>, std::allocator<char> > std::operator+<char, std::char_traits<char>, std::allocator<char> >(char const*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in fol.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::append(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)", referenced from:
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      FunctionTemplate::createInternalFuncTypeName(char const* const&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&) in fol.o
      Internals::concat(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in fol.o
      std::basic_string<char, std::char_traits<char>, std::allocator<char> > std::operator+<char, std::char_traits<char>, std::allocator<char> >(char const*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in fol.o
      std::basic_string<char, std::char_traits<char>, std::allocator<char> > std::operator+<char, std::char_traits<char>, std::allocator<char> >(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in liftedalgsconvertor.o
      LFileDump::printClause(std::basic_ofstream<char, std::char_traits<char> >*, WClause*) in liftedalgshandler.o
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::replace(unsigned long, unsigned long, char const*)", referenced from:
      zzgroundPlusVar(ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, HashString, EqualString, std::allocator<int> > const&, Array<ListObj*>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, Domain const* const&, Domain const* const&) in fol.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::reserve(unsigned long)", referenced from:
      std::basic_string<char, std::char_traits<char>, std::allocator<char> > std::operator+<char, std::char_traits<char>, std::allocator<char> >(char const*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in fol.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string(char const*, std::allocator<char> const&)", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      yyerror(char const*) in fol.o
      zzassert(bool const&, char const* const&) in fol.o
      zzgetNewVarName(char const* const&) in fol.o
      zzgetVarId(char const* const&, int const&, int&) in fol.o
      zzgetVarTypeId(char const* const&) in fol.o
      zzvarIsQuantified(char const* const&) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)", referenced from:
      rmTmpPostfix(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in fol.o
      zzgetNewVarName(char const* const&) in fol.o
      zzsetPlusVarTypeId()     in fol.o
      zzdetermineEqPredTypes(ListObj* const&) in fol.o
      zzdetermineIntPredTypes(ListObj* const&) in fol.o
      zzdetermineIntFuncTypes(ListObj* const&) in fol.o
      zzpermuteAsteriskedPreds(int const&, ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<ListObj*>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string()", referenced from:
      zzappend(char const* const&, int const&) in fol.o
      zzappendWithUnderscore(char const* const&, int const&) in fol.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::~basic_string()", referenced from:
      ARGS::checkMissing(bool)  in arguments.o
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      yyerror(char const*) in fol.o
      zzwarn(char const* const&) in fol.o
      zzassert(bool const&, char const* const&) in fol.o
      zzmsg(char const* const&) in fol.o
      zzgetNewVarName(char const* const&) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::operator=(char const*)", referenced from:
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      runYYParser(MLN* const&, Domain* const&, char const* const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, bool const&, double const&, bool const&, Domain const* const&, bool const&, bool const&) in fol.o
      GibbsProcessHandler::startLBGForMar(LvrParams*)       in liftedalgshandler.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::operator=(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)", referenced from:
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      yylex()    in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >::append(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in fol.o
      ...
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::operator[](unsigned long)", referenced from:
      LMParser::isTermConstant(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      HVariableState::LoadDisPartAtoms(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<int>&, std::map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, std::less<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::allocator<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int> > >&, int const&) in learnwts.o
  "std::basic_string<char, std::char_traits<char>, std::allocator<char> >::operator+=(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)", referenced from:
      PolyNomial::GenerateItemString(std::map<int, double, std::less<int>, std::allocator<std::pair<int const, double> > > const&) in Polynomial.o
  "std::basic_fstream<char, std::char_traits<char> >::close()", referenced from:
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LFileDump::readDumpedProposalFile(std::vector<Atom*, std::allocator<Atom*> >&, std::vector<std::vector<Atom*, std::allocator<Atom*> >, std::allocator<std::vector<Atom*, std::allocator<Atom*> > > >&, std::vector<int, std::allocator<int> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
  "std::basic_fstream<char, std::char_traits<char> >::basic_fstream(char const*, std::_Ios_Openmode)", referenced from:
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LFileDump::readDumpedProposalFile(std::vector<Atom*, std::allocator<Atom*> >&, std::vector<std::vector<Atom*, std::allocator<Atom*> >, std::allocator<std::vector<Atom*, std::allocator<Atom*> > > >&, std::vector<int, std::allocator<int> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
  "std::basic_fstream<char, std::char_traits<char> >::~basic_fstream()", referenced from:
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LFileDump::readDumpedProposalFile(std::vector<Atom*, std::allocator<Atom*> >&, std::vector<std::vector<Atom*, std::allocator<Atom*> >, std::allocator<std::vector<Atom*, std::allocator<Atom*> > > >&, std::vector<int, std::allocator<int> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LMParser::parseInputMLNFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
  "std::basic_ifstream<char, std::char_traits<char> >::open(char const*, std::_Ios_Openmode)", referenced from:
      zzcompileFunctions(char const*) in fol.o
  "std::basic_ifstream<char, std::char_traits<char> >::close()", referenced from:
      zzcompileFunctions(char const*) in fol.o
      LMParser::parseDB(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      TestFormulaInfer::readGroundTruth(int, std::vector<std::vector<std::vector<int, std::allocator<int> >, std::allocator<std::vector<int, std::allocator<int> > > >, std::allocator<std::vector<std::vector<int, std::allocator<int> >, std::allocator<std::vector<int, std::allocator<int> > > > > >&, std::vector<int, std::allocator<int> >&, std::vector<double, std::allocator<double> >&, int&) in testformulainfer.o
      createDomainAndMLN(Array<Domain*>&, Array<MLN*>&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, double const&, bool const&, bool const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&) in learnwts.o
      extractPredNames(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const*, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString>&) in learnwts.o
      copyFileAndAppendDbFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&) in learnwts.o
      createQueryFilePreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      ...
  "std::basic_ifstream<char, std::char_traits<char> >::basic_ifstream(char const*, std::_Ios_Openmode)", referenced from:
      ARGS::parseFromFile(char*)  in arguments.o
      LMParser::parseDB(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      TestFormulaInfer::readGroundTruth(int, std::vector<std::vector<std::vector<int, std::allocator<int> >, std::allocator<std::vector<int, std::allocator<int> > > >, std::allocator<std::vector<std::vector<int, std::allocator<int> >, std::allocator<std::vector<int, std::allocator<int> > > > > >&, std::vector<int, std::allocator<int> >&, std::vector<double, std::allocator<double> >&, int&) in testformulainfer.o
      createDomainAndMLN(Array<Domain*>&, Array<MLN*>&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, double const&, bool const&, bool const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&) in learnwts.o
      extractPredNames(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const*, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString>&) in learnwts.o
      copyFileAndAppendDbFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&) in learnwts.o
      createQueryFilePreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      ...
  "std::basic_ifstream<char, std::char_traits<char> >::basic_ifstream()", referenced from:
      zzcompileFunctions(char const*) in fol.o
  "std::basic_ifstream<char, std::char_traits<char> >::~basic_ifstream()", referenced from:
      ARGS::parseFromFile(char*)  in arguments.o
      zzcompileFunctions(char const*) in fol.o
      LMParser::parseDB(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in parser.o
      TestFormulaInfer::readGroundTruth(int, std::vector<std::vector<std::vector<int, std::allocator<int> >, std::allocator<std::vector<int, std::allocator<int> > > >, std::allocator<std::vector<std::vector<int, std::allocator<int> >, std::allocator<std::vector<int, std::allocator<int> > > > > >&, std::vector<int, std::allocator<int> >&, std::vector<double, std::allocator<double> >&, int&) in testformulainfer.o
      createDomainAndMLN(Array<Domain*>&, Array<MLN*>&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, double const&, bool const&, bool const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&) in learnwts.o
      extractPredNames(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const*, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString>&) in learnwts.o
      copyFileAndAppendDbFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&) in learnwts.o
      ...
  "std::basic_ofstream<char, std::char_traits<char> >::open(char const*, std::_Ios_Openmode)", referenced from:
      LClusterCreator::startRandomClustering(LvrParams*)       in clustercreator.o
      LClusterCreator::startClustering(LvrParams*)       in clustercreator.o
      HMCSAT::SetContSampleFile(char const*) in learnwts.o
  "std::basic_ofstream<char, std::char_traits<char> >::close()", referenced from:
      LFileDump::dumpSymbols(LvrMLN*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in liftedalgshandler.o
      LFileDump::dumpMLNToFile(LvrMLN*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in liftedalgshandler.o
      LFileUtils::updateFile(std::vector<LogDouble, std::allocator<LogDouble> >, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >) in fileutils.o
      LFileUtils::updateFile(std::vector<double, std::allocator<double> >, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >) in fileutils.o
      LClusterCreator::startRandomClustering(LvrParams*)       in clustercreator.o
      LClusterCreator::startClustering(LvrParams*)       in clustercreator.o
      LFileDump::dumpProposalToFile(std::vector<Atom*, std::allocator<Atom*> >, std::vector<std::vector<Atom*, std::allocator<Atom*> >, std::allocator<std::vector<Atom*, std::allocator<Atom*> > > >, std::vector<int, std::allocator<int> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      ...
  "std::basic_ofstream<char, std::char_traits<char> >::is_open()", referenced from:
      HMCSAT::SetContSampleFile(char const*) in learnwts.o
  "std::basic_ofstream<char, std::char_traits<char> >::basic_ofstream(char const*, std::_Ios_Openmode)", referenced from:
      LFileDump::dumpSymbols(LvrMLN*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in liftedalgshandler.o
      LFileDump::dumpMLNToFile(LvrMLN*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in liftedalgshandler.o
      LFileUtils::updateFile(std::vector<LogDouble, std::allocator<LogDouble> >, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >) in fileutils.o
      LFileUtils::updateFile(std::vector<double, std::allocator<double> >, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >) in fileutils.o
      LFileDump::dumpProposalToFile(std::vector<Atom*, std::allocator<Atom*> >, std::vector<std::vector<Atom*, std::allocator<Atom*> >, std::allocator<std::vector<Atom*, std::allocator<Atom*> > > >, std::vector<int, std::allocator<int> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::dumpProposalITTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      createDomainAndMLN(Array<Domain*>&, Array<MLN*>&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, double const&, bool const&, bool const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&) in learnwts.o
      ...
  "std::basic_ofstream<char, std::char_traits<char> >::basic_ofstream()", referenced from:
      zzcompileFunctions(char const*) in fol.o
      LClusterCreator::startRandomClustering(LvrParams*)       in clustercreator.o
      LClusterCreator::startClustering(LvrParams*)       in clustercreator.o
      HMCSAT::HMCSAT(HVariableState*, long, bool const&, MCSatParams*) in learnwts.o
  "std::basic_ofstream<char, std::char_traits<char> >::~basic_ofstream()", referenced from:
      zzcompileFunctions(char const*) in fol.o
      LFileUtils::updateFile(std::vector<LogDouble, std::allocator<LogDouble> >, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >) in fileutils.o
      LFileUtils::updateFile(std::vector<double, std::allocator<double> >, std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >) in fileutils.o
      LClusterCreator::startRandomClustering(LvrParams*)       in clustercreator.o
      LClusterCreator::startClustering(LvrParams*)       in clustercreator.o
      LFileDump::dumpProposalITTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      createDomainAndMLN(Array<Domain*>&, Array<MLN*>&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, double const&, bool const&, bool const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&) in learnwts.o
      ...
  "std::basic_stringstream<char, std::char_traits<char>, std::allocator<char> >::basic_stringstream(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::_Ios_Openmode)", referenced from:
      PolyNomial::ReadFrom(std::basic_istream<char, std::char_traits<char> >&) in Polynomial.o
      LFileDump::printClause(std::basic_ofstream<char, std::char_traits<char> >*, WClause*) in liftedalgshandler.o
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LStringConversionUtils::toInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LStringConversionUtils::toInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in testformulainfer.o
      ...
  "std::basic_stringstream<char, std::char_traits<char>, std::allocator<char> >::basic_stringstream(std::_Ios_Openmode)", referenced from:
      LWMConvertor::convertMLN()       in wmconvertor.o
      TestFormulaInfer::runFormulaInferenceTests()       in testformulainfer.o
      LStringConversionUtils::toString(int)   in testformulainfer.o
      ILP_Gurobi::gurobi_maximize(GRBModel*, Array<int>*, VariableState*, bool, __gnu_cxx::hash_map<GroundPredicate*, long double, HashGroundPredicate, EqualGroundPredicate, std::allocator<long double> >*, __gnu_cxx::hash_map<int, bool, __gnu_cxx::hash<int>, std::equal_to<int>, std::allocator<bool> >*) in learnwts.o
  "std::basic_stringstream<char, std::char_traits<char>, std::allocator<char> >::~basic_stringstream()", referenced from:
      PolyNomial::ReadFrom(std::basic_istream<char, std::char_traits<char> >&) in Polynomial.o
      LFileDump::printClause(std::basic_ofstream<char, std::char_traits<char> >*, WClause*) in liftedalgshandler.o
      LBGSampler::startLVBGibbs(LvrParams*)       in lbgsampler.o
      LStringConversionUtils::toInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LFileDump::readDumpedProposalIsolatedTermsFile(std::vector<std::vector<bool, std::allocator<bool> >, std::allocator<std::vector<bool, std::allocator<bool> > > >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in proposalstructure.o
      LMParser::parseCNFString(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_fstream<char, std::char_traits<char> >&) in parser.o
      LWMConvertor::convertMLN()       in wmconvertor.o
      ...
  "std::basic_istringstream<char, std::char_traits<char>, std::allocator<char> >::basic_istringstream(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::_Ios_Openmode)", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      Internals::stringToInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int&) in fol.o
      createComLineQueryPreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, Array<int>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      createQueryFilePreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      HVariableState::LoadContMLN()       in learnwts.o
  "std::basic_istringstream<char, std::char_traits<char>, std::allocator<char> >::~basic_istringstream()", referenced from:
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      Internals::stringToInt(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int&) in fol.o
      createComLineQueryPreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, Array<int>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      createQueryFilePreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      HVariableState::LoadContMLN()       in learnwts.o
  "std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >::basic_ostringstream(std::_Ios_Openmode)", referenced from:
      ARGS::checkMissing(bool)  in arguments.o
      zzappendUnitClausesToMLN(Domain const* const&, MLN* const&, double const&) in fol.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      ...
  "std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >::~basic_ostringstream()", referenced from:
      ARGS::checkMissing(bool)  in arguments.o
      zzappendUnitClausesToMLN(Domain const* const&, MLN* const&, double const&) in fol.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalPredicate(int, PredicateTemplate const* const&, int, Array<int>*) in fol.o
      zzinsertPermutationOfInternalFunction(int, FunctionTemplate const*, int, Array<int>*) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      ...
  "std::__detail::_List_node_base::_M_hook(std::__detail::_List_node_base*)", referenced from:
      std::list<char const*, std::allocator<char const*> >::_M_insert(std::_List_iterator<char const*>, char const* const&) in fol.o
      std::list<std::pair<__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*, int>, std::allocator<std::pair<__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*, int> > >::_M_insert(std::_List_iterator<std::pair<__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*, int> >, std::pair<__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*, int> const&) in fol.o
      std::list<ZZUnknownEqPredInfo, std::allocator<ZZUnknownEqPredInfo> >::_M_insert(std::_List_iterator<ZZUnknownEqPredInfo>, ZZUnknownEqPredInfo const&) in fol.o
      std::list<ZZUnknownIntPredInfo, std::allocator<ZZUnknownIntPredInfo> >::_M_insert(std::_List_iterator<ZZUnknownIntPredInfo>, ZZUnknownIntPredInfo const&) in fol.o
      std::list<ZZUnknownIntFuncInfo, std::allocator<ZZUnknownIntFuncInfo> >::_M_insert(std::_List_iterator<ZZUnknownIntFuncInfo>, ZZUnknownIntFuncInfo const&) in fol.o
      std::list<Factor*, std::allocator<Factor*> >::_M_insert(std::_List_iterator<Factor*>, Factor* const&) in node.o
      std::list<Node*, std::allocator<Node*> >::_M_insert(std::_List_iterator<Node*>, Node* const&) in factor.o
      ...
  "std::__detail::_List_node_base::_M_unhook()", referenced from:
      std::list<char const*, std::allocator<char const*> >::_M_erase(std::_List_iterator<char const*>) in fol.o
      std::list<ZZUnknownEqPredInfo, std::allocator<ZZUnknownEqPredInfo> >::_M_erase(std::_List_iterator<ZZUnknownEqPredInfo>) in fol.o
      std::list<ZZUnknownIntPredInfo, std::allocator<ZZUnknownIntPredInfo> >::_M_erase(std::_List_iterator<ZZUnknownIntPredInfo>) in fol.o
      std::list<ZZUnknownIntFuncInfo, std::allocator<ZZUnknownIntFuncInfo> >::_M_erase(std::_List_iterator<ZZUnknownIntFuncInfo>) in fol.o
      std::list<std::pair<__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*, int>, std::allocator<std::pair<__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*, int> > >::_M_erase(std::_List_iterator<std::pair<__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*, int> >) in fol.o
  "std::ios_base::Init::Init()", referenced from:
      __static_initialization_and_destruction_0(int, int) in arguments.o
      __static_initialization_and_destruction_0(int, int) in powerset.o
      __static_initialization_and_destruction_0(int, int) in fol.o
      __static_initialization_and_destruction_0(int, int) in listobj.o
      __static_initialization_and_destruction_0(int, int) in predicatetemplate.o
      __static_initialization_and_destruction_0(int, int) in functiontemplate.o
      __static_initialization_and_destruction_0(int, int) in function.o
      ...
  "std::ios_base::Init::~Init()", referenced from:
      __static_initialization_and_destruction_0(int, int) in arguments.o
      __static_initialization_and_destruction_0(int, int) in powerset.o
      __static_initialization_and_destruction_0(int, int) in fol.o
      __static_initialization_and_destruction_0(int, int) in listobj.o
      __static_initialization_and_destruction_0(int, int) in predicatetemplate.o
      __static_initialization_and_destruction_0(int, int) in functiontemplate.o
      __static_initialization_and_destruction_0(int, int) in function.o
      ...
  "std::basic_ios<char, std::char_traits<char> >::clear(std::_Ios_Iostate)", referenced from:
      zzcompileFunctions(char const*) in fol.o
  "std::__throw_bad_alloc()", referenced from:
      __gnu_cxx::new_allocator<__gnu_cxx::_Hashtable_node<std::pair<char const* const, int> > >::allocate(unsigned long, void const*) in fol.o
      __gnu_cxx::new_allocator<__gnu_cxx::_Hashtable_node<std::pair<StrInt const* const, int> > >::allocate(unsigned long, void const*) in fol.o
      __gnu_cxx::new_allocator<__gnu_cxx::_Hashtable_node<std::pair<char const* const, PredicateTemplate const*> > >::allocate(unsigned long, void const*) in fol.o
      __gnu_cxx::new_allocator<__gnu_cxx::_Hashtable_node<std::pair<char const* const, FunctionTemplate const*> > >::allocate(unsigned long, void const*) in fol.o
      __gnu_cxx::new_allocator<__gnu_cxx::_Hashtable_node<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > > >::allocate(unsigned long, void const*) in fol.o
      __gnu_cxx::new_allocator<__gnu_cxx::_Hashtable_node<unsigned long long> >::allocate(unsigned long, void const*) in fol.o
      __gnu_cxx::new_allocator<__gnu_cxx::_Hashtable_node<std::pair<unsigned long long const, double> > >::allocate(unsigned long, void const*) in fol.o
      ...
  "std::_Rb_tree_decrement(std::_Rb_tree_node_base*)", referenced from:
      std::_Rb_tree_iterator<unsigned long long>::operator--() in fol.o
      std::_Rb_tree_iterator<std::pair<int const, std::pair<int, bool> > >::operator--() in clause.o
      std::_Rb_tree_iterator<unsigned long long>::operator--() in clause.o
      std::_Rb_tree_iterator<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int> >::operator--() in Polynomial.o
      std::_Rb_tree_iterator<std::pair<int const, double> >::operator--() in Polynomial.o
      std::_Rb_tree_iterator<std::pair<double const, double> >::operator--() in Polynomial.o
      std::_Rb_tree_iterator<Factor*>::operator--() in node.o
      ...
  "std::_Rb_tree_increment(std::_Rb_tree_node_base const*)", referenced from:
      std::_Rb_tree_const_iterator<unsigned long long>::operator++(int) in clause.o
      std::_Rb_tree_const_iterator<unsigned long long>::operator++() in clause.o
      std::_Rb_tree_const_iterator<std::pair<int const, double> >::operator++() in Polynomial.o
      std::_Rb_tree_const_iterator<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int> >::operator++() in Polynomial.o
      std::_Rb_tree_const_iterator<std::pair<double const, double> >::operator++() in Polynomial.o
      std::_Rb_tree_const_iterator<unsigned long long>::operator++(int) in liftedalgsconvertor.o
      std::_Rb_tree_const_iterator<unsigned long long>::operator++() in liftedalgsconvertor.o
      ...
  "std::_Rb_tree_increment(std::_Rb_tree_node_base*)", referenced from:
      std::_Rb_tree_iterator<unsigned long long>::operator++() in clause.o
      std::_Rb_tree_iterator<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int> >::operator++() in Polynomial.o
      std::_Rb_tree_iterator<std::pair<double const, double> >::operator++() in Polynomial.o
      std::_Rb_tree_iterator<std::pair<int const, double> >::operator++() in Polynomial.o
      std::_Rb_tree_iterator<std::pair<int const, std::pair<int, bool> > >::operator++(int) in groundclause.o
      std::_Rb_tree_iterator<unsigned long long>::operator++() in liftedalgsconvertor.o
      std::_Rb_tree_iterator<std::pair<int const, int> >::operator++(int) in decomposer.o
      ...
  "std::__throw_length_error(char const*)", referenced from:
      std::vector<__gnu_cxx::_Hashtable_node<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >*, std::allocator<__gnu_cxx::_Hashtable_node<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >*> >::reserve(unsigned long) in fol.o
      std::vector<__gnu_cxx::_Hashtable_node<unsigned long long>*, std::allocator<__gnu_cxx::_Hashtable_node<unsigned long long>*> >::reserve(unsigned long) in fol.o
      std::vector<__gnu_cxx::_Hashtable_node<std::pair<unsigned long long const, double> >*, std::allocator<__gnu_cxx::_Hashtable_node<std::pair<unsigned long long const, double> >*> >::reserve(unsigned long) in fol.o
      std::vector<__gnu_cxx::_Hashtable_node<int>*, std::allocator<__gnu_cxx::_Hashtable_node<int>*> >::reserve(unsigned long) in fol.o
      std::vector<__gnu_cxx::_Hashtable_node<std::pair<int const, HashArray<Predicate*, HashPredicate, EqualPredicate>*> >*, std::allocator<__gnu_cxx::_Hashtable_node<std::pair<int const, HashArray<Predicate*, HashPredicate, EqualPredicate>*> >*> >::reserve(unsigned long) in fol.o
      std::vector<__gnu_cxx::_Hashtable_node<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, ZZVarIdType> >*, std::allocator<__gnu_cxx::_Hashtable_node<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, ZZVarIdType> >*> >::reserve(unsigned long) in fol.o
      std::vector<__gnu_cxx::_Hashtable_node<std::pair<Function* const, std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*, std::allocator<__gnu_cxx::_Hashtable_node<std::pair<Function* const, std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >*> >::reserve(unsigned long) in fol.o
      ...
  "std::__throw_out_of_range_fmt(char const*, ...)", referenced from:
      std::vector<Decomposer*, std::allocator<Decomposer*> >::_M_range_check(unsigned long) const in decomposer.o
      std::vector<int, std::allocator<int> >::_M_range_check(unsigned long) const in lvrmln.o
      std::vector<LvrTerm*, std::allocator<LvrTerm*> >::_M_range_check(unsigned long) const in lvrmln.o
      std::vector<Atom*, std::allocator<Atom*> >::_M_range_check(unsigned long) const in lvrmln.o
      std::vector<WClause*, std::allocator<WClause*> >::_M_range_check(unsigned long) const in lvrmln.o
      std::vector<LogDouble, std::allocator<LogDouble> >::_M_range_check(unsigned long) const in mathutils.o
      std::vector<int, std::allocator<int> >::_M_range_check(unsigned long) const in normalizer.o
      ...
  "std::_Rb_tree_rebalance_for_erase(std::_Rb_tree_node_base*, std::_Rb_tree_node_base&)", referenced from:
      std::_Rb_tree<unsigned long long, unsigned long long, std::_Identity<unsigned long long>, std::less<unsigned long long>, std::allocator<unsigned long long> >::_M_erase_aux(std::_Rb_tree_const_iterator<unsigned long long>) in liftedalgsconvertor.o
      std::_Rb_tree<int, std::pair<int const, int>, std::_Select1st<std::pair<int const, int> >, std::less<int>, std::allocator<std::pair<int const, int> > >::_M_erase_aux(std::_Rb_tree_const_iterator<std::pair<int const, int> >) in queryupdater.o
      std::_Rb_tree<int, std::pair<int const, bool>, std::_Select1st<std::pair<int const, bool> >, std::less<int>, std::allocator<std::pair<int const, bool> > >::_M_erase_aux(std::_Rb_tree_const_iterator<std::pair<int const, bool> >) in queryupdater.o
      std::_Rb_tree<unsigned long long, unsigned long long, std::_Identity<unsigned long long>, std::less<unsigned long long>, std::allocator<unsigned long long> >::_M_erase_aux(std::_Rb_tree_const_iterator<unsigned long long>) in learnwts.o
  "std::_Rb_tree_insert_and_rebalance(bool, std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::_Rb_tree_node_base&)", referenced from:
      std::_Rb_tree<unsigned long long, unsigned long long, std::_Identity<unsigned long long>, std::less<unsigned long long>, std::allocator<unsigned long long> >::_M_insert_(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, unsigned long long const&) in fol.o
      std::_Rb_tree<int, std::pair<int const, std::pair<int, bool> >, std::_Select1st<std::pair<int const, std::pair<int, bool> > >, std::less<int>, std::allocator<std::pair<int const, std::pair<int, bool> > > >::_M_insert_(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::pair<int const, std::pair<int, bool> > const&) in clause.o
      std::_Rb_tree<unsigned long long, unsigned long long, std::_Identity<unsigned long long>, std::less<unsigned long long>, std::allocator<unsigned long long> >::_M_insert_(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, unsigned long long const&) in clause.o
      std::_Rb_tree<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int>, std::_Select1st<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int> >, std::less<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::allocator<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int> > >::_M_insert_(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int> const&) in Polynomial.o
      std::_Rb_tree<int, std::pair<int const, double>, std::_Select1st<std::pair<int const, double> >, std::less<int>, std::allocator<std::pair<int const, double> > >::_M_insert_(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::pair<int const, double> const&) in Polynomial.o
      std::_Rb_tree<double, std::pair<double const, double>, std::_Select1st<std::pair<double const, double> >, std::less<double>, std::allocator<std::pair<double const, double> > >::_M_insert_(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::pair<double const, double> const&) in Polynomial.o
      std::_Rb_tree<Factor*, Factor*, std::_Identity<Factor*>, std::less<Factor*>, std::allocator<Factor*> >::_M_insert_(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, Factor* const&) in node.o
      ...
  "std::cerr", referenced from:
      MRF::MRF(HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<int> const* const&, Domain const* const&, Database const* const&, MLN const* const&, bool const&, bool const&, int const&) in learnwts.o
  "std::cout", referenced from:
      ARGS::Error(char const*, char const*, char const*, char const*, char const*) in arguments.o
      ARGS::usage(bool) in arguments.o
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      yyerror(char const*) in fol.o
      zzdetermineEqPredTypes(ListObj* const&) in fol.o
      zzdetermineIntPredTypes(ListObj* const&) in fol.o
      zzdetermineIntFuncTypes(ListObj* const&) in fol.o
      ...
  "std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)", referenced from:
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      yyerror(char const*) in fol.o
      zzdetermineEqPredTypes(ListObj* const&) in fol.o
      zzdetermineIntPredTypes(ListObj* const&) in fol.o
      zzdetermineIntFuncTypes(ListObj* const&) in fol.o
      zzconsumeToken(StrFifoList&, char const*) in fol.o
      zzappendFormulaClausesToMLN(ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int const&, double const* const&, double const&, Domain const* const&, MLN* const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, ZZVarIdType, HashString, EqualString, std::allocator<ZZVarIdType> > const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, HashString, EqualString, std::allocator<int> > const&, int const&, bool const&, bool const&, bool const&, bool const&, bool const&, ListObj const* const&, double, bool const&, double const* const&, Array<int>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, Clause*&, Domain const* const&) in fol.o
      ...
  "std::basic_istream<char, std::char_traits<char> >& std::getline<char, std::char_traits<char>, std::allocator<char> >(std::basic_istream<char, std::char_traits<char> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&)", referenced from:
      createDomainAndMLN(Array<Domain*>&, Array<MLN*>&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, bool const&, double const&, bool const&, bool const&, bool const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const* const&) in learnwts.o
      createComLineQueryPreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, Array<int>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      extractPredNames(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const*, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString>&) in learnwts.o
      copyFileAndAppendDbFile(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&) in learnwts.o
      createQueryFilePreds(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Domain const* const&, Database* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate>* const&, bool, std::basic_ostream<char, std::char_traits<char> >&, bool, HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<double> const* const&, Array<Array<Predicate*>*>*) in learnwts.o
      loadArray(char const*, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&) in learnwts.o
      HVariableState::LoadContEviValues(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in learnwts.o
      ...
  "std::basic_istream<char, std::char_traits<char> >& std::getline<char, std::char_traits<char>, std::allocator<char> >(std::basic_istream<char, std::char_traits<char> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, char)", referenced from:
      PolyNomial::ReadFrom(std::basic_istream<char, std::char_traits<char> >&) in Polynomial.o
      HVariableState::LoadDisPartAtoms(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<int>&, std::map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, std::less<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::allocator<std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, int> > >&, int const&) in learnwts.o
      HVariableState::LoadContPartAtoms(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<int>&) in learnwts.o
      HVariableState::LoadContEviValues(std::basic_string<char, std::char_traits<char>, std::allocator<char> >) in learnwts.o
      HVariableState::LoadContMLN()       in learnwts.o
  "std::terminate()", referenced from:
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, GRBLinExpr) in libgurobi_c++.a(LinExpr.o)
      GRBLinExpr::remove(int)   in libgurobi_c++.a(LinExpr.o)
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, GRBQuadExpr) in libgurobi_c++.a(QuadExpr.o)
      GRBQuadExpr::remove(int)   in libgurobi_c++.a(QuadExpr.o)
      GRBQuadExpr::operator+(GRBQuadExpr const&) in libgurobi_c++.a(QuadExpr.o)
      operator+(GRBQuadExpr const&, GRBQuadExpr const&) in libgurobi_c++.a(QuadExpr.o)
      GRBQuadExpr::operator-(GRBQuadExpr const&) in libgurobi_c++.a(QuadExpr.o)
      ...
  "std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)", referenced from:
      ARGS::checkMissing(bool)  in arguments.o
      ARGS::Error(char const*, char const*, char const*, char const*, char const*) in arguments.o
      ARGS::usage(bool) in arguments.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, unionClass::argType&) in arguments.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, ARGS&) in arguments.o
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      yyerror(char const*) in fol.o
      ...
  "std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char)", referenced from:
      ARGS::usage(bool) in arguments.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, unionClass::argType&) in arguments.o
      operator<<(std::basic_ostream<char, std::char_traits<char> >&, ARGS&) in arguments.o
      ARGS::parse(int, char**, char*&, std::basic_ostream<char, std::char_traits<char> >*) in arguments.o
      PolyNomial::PrintTo(std::basic_ostream<char, std::char_traits<char> >&) const in Polynomial.o
      printArray(Array<int>&, int, std::basic_ostream<char, std::char_traits<char> >&) in inferutil.o
  "std::basic_ostream<char, std::char_traits<char> >& std::operator<< <char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, std::_Setprecision)", referenced from:
      PolyNomial::PrintTo(std::basic_ostream<char, std::char_traits<char> >&) const in Polynomial.o
      PolyNomial::PrintCoef(std::basic_ostream<char, std::char_traits<char> >&, double) const in Polynomial.o
  "std::basic_ostream<char, std::char_traits<char> >& std::operator<< <char, std::char_traits<char>, std::allocator<char> >(std::basic_ostream<char, std::char_traits<char> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)", referenced from:
      zzdetermineEqPredTypes(ListObj* const&) in fol.o
      zzdetermineIntPredTypes(ListObj* const&) in fol.o
      zzdetermineIntFuncTypes(ListObj* const&) in fol.o
      zzappendFormulaClausesToMLN(ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int const&, double const* const&, double const&, Domain const* const&, MLN* const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, ZZVarIdType, HashString, EqualString, std::allocator<ZZVarIdType> > const&, __gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, HashString, EqualString, std::allocator<int> > const&, int const&, bool const&, bool const&, bool const&, bool const&, bool const&, ListObj const* const&, double, bool const&, double const* const&, Array<int>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&, Clause*&, Domain const* const&) in fol.o
      zzappendFormulasToMLN(Array<ZZFormulaInfo*>&, MLN* const&, Domain const* const&) in fol.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      zzinsertPermutationOfLinkedPredicate(Domain const* const&, void*, PredicateTemplate const*, int, Array<int>*) in fol.o
      ...
  "typeinfo for std::bad_alloc", referenced from:
      anon in learnwts.o
  "typeinfo for int", referenced from:
      MRF::MRF(HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<int> const* const&, Domain const* const&, Database const* const&, MLN const* const&, bool const&, bool const&, int const&) in learnwts.o
  "vtable for __cxxabiv1::__class_type_info", referenced from:
      typeinfo for argsAction in arguments.o
      typeinfo for PredicateTemplate in fol.o
      typeinfo for GRBException in learnwts.o
      typeinfo for Inference in learnwts.o
      typeinfo for PredicateTemplate in learnwts.o
      typeinfo for GRBException in libgurobi_c++.a(LinExpr.o)
      typeinfo for GRBException in libgurobi_c++.a(QuadExpr.o)
      ...
  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
  "vtable for __cxxabiv1::__si_class_type_info", referenced from:
      typeinfo for FunctionTemplate in fol.o
      typeinfo for LBGInference in learnwts.o
      typeinfo for ILP_Gurobi in learnwts.o
      typeinfo for HMCSAT in learnwts.o
      typeinfo for HMaxWalkSat in learnwts.o
      typeinfo for BP in learnwts.o
      typeinfo for SimulatedTempering in learnwts.o
      ...
  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
  "operator delete[](void*)", referenced from:
      ARGS::cleanUp()     in arguments.o
      ARGS::boolable(char*, bool&) in arguments.o
      zzconsumeToken(StrFifoList&, char const*) in fol.o
      zzcreateFunc(Function*&, char const* const&) in fol.o
      zztermIsVariable(bool const&) in fol.o
      zzinsertPermutationOfLinkedFunction(Domain const* const&, void*, FunctionTemplate const*, int, Array<int>*) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      ...
  "operator delete(void*)", referenced from:
      argsAction::~argsAction() in arguments.o
      argsAction::~argsAction() in arguments.o
      zzcreateVarTypeMap(__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, ZZVarIdType, HashString, EqualString, std::allocator<ZZVarIdType> > const&) in fol.o
      zzaddTypeToDomain(Domain* const&, char const* const&) in fol.o
      zzcreatePred(Predicate*&, char const* const&) in fol.o
      zzcreateFunc(Function*&, char const* const&) in fol.o
      zzpermuteAsteriskedPreds(int const&, ListObj const* const&, std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Array<ListObj*>&, Array<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >&) in fol.o
      ...
     (maybe you meant: operator delete(void*, void*))
  "operator new[](unsigned long)", referenced from:
      ARGS::makeFound()     in arguments.o
      ARGS::argsSwitch(ARGS*, char*, int&, bool&, char const*) in arguments.o
      ARGS::boolable(char*, bool&) in arguments.o
      yytokenName(short) in fol.o
      yyuserAction(int, int, yyGLRStackItem*, int*, YYLTYPE*, yyGLRStack*) in fol.o
      DualMap::insert(char const* const&) in fol.o
      StrInt::StrInt(char const* const&, int const&) in fol.o
      ...
  "operator new(unsigned long)", referenced from:
      zzcreateVarTypeMap(__gnu_cxx::hash_map<std::basic_string<char, std::char_traits<char>, std::allocator<char> > const, ZZVarIdType, HashString, EqualString, std::allocator<ZZVarIdType> > const&) in fol.o
      zzaddTypeToDomain(Domain* const&, char const* const&) in fol.o
      zzcreatePred(Predicate*&, char const* const&) in fol.o
      zzcheckPredNumTerm(Predicate*&)     in fol.o
      zzpredAppendConstant(Predicate* const&, int const&, char const* const&) in fol.o
      zzcreateFunc(Function*&, char const* const&) in fol.o
      zzcheckFuncNumTerm(Function*&)     in fol.o
      ...
     (maybe you meant: operator new(unsigned long, void*))
  "___cxa_allocate_exception", referenced from:
      MRF::MRF(HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<int> const* const&, Domain const* const&, Database const* const&, MLN const* const&, bool const&, bool const&, int const&) in learnwts.o
      GRBLinExpr::remove(int)   in libgurobi_c++.a(LinExpr.o)
      GRBQuadExpr::remove(int)   in libgurobi_c++.a(QuadExpr.o)
      GRBEnv::readParams(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in libgurobi_c++.a(Env.o)
      GRBEnv::writeParams(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in libgurobi_c++.a(Env.o)
      GRBEnv::resetParams()      in libgurobi_c++.a(Env.o)
      GRBEnv::getParamInfo(GRB_StringParam, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&) in libgurobi_c++.a(Env.o)
      ...
  "___cxa_begin_catch", referenced from:
      __gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >::_M_copy_from(__gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > > const&) in fol.o
      __gnu_cxx::hashtable<unsigned long long, unsigned long long, HashLongLong, std::_Identity<unsigned long long>, EqualLongLong, std::allocator<unsigned long long> >::_M_copy_from(__gnu_cxx::hashtable<unsigned long long, unsigned long long, HashLongLong, std::_Identity<unsigned long long>, EqualLongLong, std::allocator<unsigned long long> > const&) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, int>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, int> >, EqualStr, std::allocator<int> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<StrInt const* const, int>, StrInt const*, HashStrInt, std::_Select1st<std::pair<StrInt const* const, int> >, EqualStrInt, std::allocator<int> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, PredicateTemplate const*>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, PredicateTemplate const*> >, EqualStr, std::allocator<PredicateTemplate const*> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, FunctionTemplate const*>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, FunctionTemplate const*> >, EqualStr, std::allocator<FunctionTemplate const*> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >::_M_new_node(std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > const&) in fol.o
      ...
  "___cxa_end_catch", referenced from:
      __gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >::_M_copy_from(__gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > > const&) in fol.o
      __gnu_cxx::hashtable<unsigned long long, unsigned long long, HashLongLong, std::_Identity<unsigned long long>, EqualLongLong, std::allocator<unsigned long long> >::_M_copy_from(__gnu_cxx::hashtable<unsigned long long, unsigned long long, HashLongLong, std::_Identity<unsigned long long>, EqualLongLong, std::allocator<unsigned long long> > const&) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, int>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, int> >, EqualStr, std::allocator<int> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<StrInt const* const, int>, StrInt const*, HashStrInt, std::_Select1st<std::pair<StrInt const* const, int> >, EqualStrInt, std::allocator<int> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, PredicateTemplate const*>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, PredicateTemplate const*> >, EqualStr, std::allocator<PredicateTemplate const*> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, FunctionTemplate const*>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, FunctionTemplate const*> >, EqualStr, std::allocator<FunctionTemplate const*> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >::_M_new_node(std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > const&) in fol.o
      ...
  "___cxa_free_exception", referenced from:
      GRBLinExpr::remove(int)   in libgurobi_c++.a(LinExpr.o)
      GRBQuadExpr::remove(int)   in libgurobi_c++.a(QuadExpr.o)
      GRBEnv::readParams(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in libgurobi_c++.a(Env.o)
      GRBEnv::writeParams(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in libgurobi_c++.a(Env.o)
      GRBEnv::resetParams()      in libgurobi_c++.a(Env.o)
      GRBEnv::getParamInfo(GRB_StringParam, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&) in libgurobi_c++.a(Env.o)
      GRBEnv::getParamInfo(GRB_IntParam, int*, int*, int*, int*) in libgurobi_c++.a(Env.o)
      ...
  "___cxa_get_exception_ptr", referenced from:
      ILP_Gurobi::gurobi_maximize(GRBModel*, Array<int>*, VariableState*, bool, __gnu_cxx::hash_map<GroundPredicate*, long double, HashGroundPredicate, EqualGroundPredicate, std::allocator<long double> >*, __gnu_cxx::hash_map<int, bool, __gnu_cxx::hash<int>, std::equal_to<int>, std::allocator<bool> >*) in learnwts.o
  "___cxa_pure_virtual", referenced from:
      vtable for MCMC in learnwts.o
      vtable for SAT in learnwts.o
      vtable for Inference in learnwts.o
  "___cxa_rethrow", referenced from:
      __gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >::_M_copy_from(__gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > > const&) in fol.o
      __gnu_cxx::hashtable<unsigned long long, unsigned long long, HashLongLong, std::_Identity<unsigned long long>, EqualLongLong, std::allocator<unsigned long long> >::_M_copy_from(__gnu_cxx::hashtable<unsigned long long, unsigned long long, HashLongLong, std::_Identity<unsigned long long>, EqualLongLong, std::allocator<unsigned long long> > const&) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, int>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, int> >, EqualStr, std::allocator<int> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<StrInt const* const, int>, StrInt const*, HashStrInt, std::_Select1st<std::pair<StrInt const* const, int> >, EqualStrInt, std::allocator<int> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, PredicateTemplate const*>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, PredicateTemplate const*> >, EqualStr, std::allocator<PredicateTemplate const*> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<char const* const, FunctionTemplate const*>, char const*, __gnu_cxx::hash<char const*>, std::_Select1st<std::pair<char const* const, FunctionTemplate const*> >, EqualStr, std::allocator<FunctionTemplate const*> >::resize(unsigned long) in fol.o
      __gnu_cxx::hashtable<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > >, std::pair<unsigned int, unsigned int>, IntPairHash, std::_Select1st<std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >, std::equal_to<std::pair<unsigned int, unsigned int> >, std::allocator<std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > >::_M_new_node(std::pair<std::pair<unsigned int, unsigned int> const, std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long> > > const&) in fol.o
      ...
  "___cxa_throw", referenced from:
      MRF::MRF(HashArray<GroundPredicate*, HashGroundPredicate, EqualGroundPredicate> const* const&, Array<int> const* const&, Domain const* const&, Database const* const&, MLN const* const&, bool const&, bool const&, int const&) in learnwts.o
      GRBLinExpr::remove(int)   in libgurobi_c++.a(LinExpr.o)
      GRBQuadExpr::remove(int)   in libgurobi_c++.a(QuadExpr.o)
      GRBEnv::readParams(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in libgurobi_c++.a(Env.o)
      GRBEnv::writeParams(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) in libgurobi_c++.a(Env.o)
      GRBEnv::resetParams()      in libgurobi_c++.a(Env.o)
      GRBEnv::getParamInfo(GRB_StringParam, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&) in libgurobi_c++.a(Env.o)
      ...
  "___dynamic_cast", referenced from:
      DiscriminativeLearner::DiscriminativeLearner(Array<Inference*> const&, HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const&, IndexTranslator* const&, bool const&, bool const&, Array<Inference*> const&, bool const&, int const&, double const&, bool const&, double const&, double const&) in learnwts.o
      DiscriminativeLearner::setMLNWeights(double* const&) in learnwts.o
      DiscriminativeLearner::learnWeights(double* const&, int const&, int const&, double const&, double const&, double const&, bool, int const&, bool) in learnwts.o
      DiscriminativeLearner::resetDBs()      in learnwts.o
      DiscriminativeLearner::findRelevantClauses(HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const&) in learnwts.o
      DiscriminativeLearner::calculateCounts(Array<double>&, Array<double>&, int const&, bool const&) in learnwts.o
      DiscriminativeLearner::initializeWts(HashArray<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, HashString, EqualString> const&) in learnwts.o
      ...
  "___gxx_personality_v0", referenced from:
      Dwarf Exception Unwind Info (__eh_frame) in arguments.o
      Dwarf Exception Unwind Info (__eh_frame) in fol.o
      Dwarf Exception Unwind Info (__eh_frame) in predicate.o
      Dwarf Exception Unwind Info (__eh_frame) in term.o
      Dwarf Exception Unwind Info (__eh_frame) in domain.o
      Dwarf Exception Unwind Info (__eh_frame) in clause.o
      Dwarf Exception Unwind Info (__eh_frame) in clausesampler.o
      ...
ld: symbol(s) not found for architecture x86_64
collect2: error: ld returned 1 exit status
make: *** [../bin/obj/learnwts.oo] Error 1
make: *** Waiting for unfinished jobs....