varun-nagaraja / alchemy-2 Goto Github PK
View Code? Open in Web Editor NEWFork of the code with Gurobi ILP solver
License: Other
Fork of the code with Gurobi ILP solver
License: Other
I followed the instructions for compiling, but it fails compiling on OSX.
Any idea?
$ 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....
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.