hyperdrive / alchemy-2 Goto Github PK
View Code? Open in Web Editor NEWAutomatically exported from code.google.com/p/alchemy-2
License: Other
Automatically exported from code.google.com/p/alchemy-2
License: Other
What steps will reproduce the problem?
--------------------------------------------------------------
1. tar xzvf to extract files
2. cd to src directory
3. make depend; make
What is the expected output? What do you see instead?
--------------------------------------------------------------
- make depend appears to run successfully.
- make fails with following error:
- makefile:402: *** missing separator. Stop.
Attempt to fix by replacing -n ../bin/obj/\n with -n ../bin/obj/
- make returns with following error(s):
g++ -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 -o ../bin/obj/learnwts.o -c
../src/learnwts/learnwts.cpp
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:74:
../src/util/array.h:371:30: error: call to non-static member function without
an object argument
int swapwith = Random::randomOneOf(numItems_);
~~~~~~~~^~~~~~~~~~~
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:75:
../src/util/hashint.h:69:17: error: expected namespace name
using namespace __gnu_cxx;
^
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:75:
In file included from ../src/util/hashint.h:70:
../src/util/hasharray.h:349:30: error: call to non-static member function
without an object argument
int swapwith = Random::randomOneOf(numItems_);
~~~~~~~~^~~~~~~~~~~
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:75:
../src/util/hashint.h:77:50: error: reference to 'hash' is ambiguous
size_t operator()(const int& i) const { return hash<int>()(i); }
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/u
sr/bin/../include/c++/v1/memory:3062:29: note: candidate found by name lookup
is 'std::__1::hash'
template <class _Tp> struct hash;
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/u
sr/bin/../include/c++/v1/ext/__hash:22:54: note: candidate found by name lookup
is '__gnu_cxx::hash'
template <typename _Tp> struct _LIBCPP_TYPE_VIS_ONLY hash : public
std::hash<_Tp>
^
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:75:
../src/util/hashint.h:77:58: error: expected '(' for function-style cast or
type construction
size_t operator()(const int& i) const { return hash<int>()(i); }
~~~^
../src/util/hashint.h:77:60: error: expected expression
size_t operator()(const int& i) const { return hash<int>()(i); }
^
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:76:
In file included from ../src/logic/clause.h:76:
In file included from ../src/logic/domain.h:72:
../src/util/dualmap.h:77:36: error: reference to 'hash' is ambiguous
typedef hash_map<const char*, int, hash<const char*>, EqualStr> StrToIntMap;
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/u
sr/bin/../include/c++/v1/memory:3062:29: note: candidate found by name lookup
is 'std::__1::hash'
template <class _Tp> struct hash;
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/u
sr/bin/../include/c++/v1/ext/__hash:22:54: note: candidate found by name lookup
is '__gnu_cxx::hash'
template <typename _Tp> struct _LIBCPP_TYPE_VIS_ONLY hash : public
std::hash<_Tp>
^
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:76:
In file included from ../src/logic/clause.h:76:
In file included from ../src/logic/domain.h:72:
../src/util/dualmap.h:77:41: error: expected expression
typedef hash_map<const char*, int, hash<const char*>, EqualStr> StrToIntMap;
^
../src/util/dualmap.h:77:53: error: expected unqualified-id
typedef hash_map<const char*, int, hash<const char*>, EqualStr> StrToIntMap;
^
../src/util/dualmap.h:168:3: error: unknown type name 'StrToIntMap'
StrToIntMap* strToIntMap_;
^
../src/util/dualmap.h:85:32: error: unknown type name 'StrToIntMap'
strToIntMap_(new StrToIntMap) {}
^
../src/util/dualmap.h:169:2: error: expected '{' or ','
};
^
../src/util/dualmap.h:91:24: error: unknown type name 'StrToIntMap'
strToIntMap_ = new StrToIntMap;
^
../src/util/dualmap.h:122:5: error: use of undeclared identifier 'StrToIntMap'
StrToIntMap::iterator it;
^
../src/util/dualmap.h:122:18: error: use of class template 'iterator' requires
template arguments
StrToIntMap::iterator it;
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/u
sr/bin/../include/c++/v1/iterator:432:30: note: template is declared here
struct _LIBCPP_TYPE_VIS_ONLY iterator
^
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:76:
In file included from ../src/logic/clause.h:76:
In file included from ../src/logic/domain.h:72:
../src/util/dualmap.h:134:5: error: use of undeclared identifier 'StrToIntMap'
StrToIntMap::iterator it;
^
../src/util/dualmap.h:134:18: error: use of class template 'iterator' requires
template arguments
StrToIntMap::iterator it;
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/u
sr/bin/../include/c++/v1/iterator:432:30: note: template is declared here
struct _LIBCPP_TYPE_VIS_ONLY iterator
^
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:76:
In file included from ../src/logic/clause.h:76:
In file included from ../src/logic/domain.h:73:
In file included from ../src/util/constdualmap.h:75:
../src/util/strint.h:112:12: error: reference to 'hash' is ambiguous
return hash<char const *>()(s->str_);
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/u
sr/bin/../include/c++/v1/memory:3062:29: note: candidate found by name lookup
is 'std::__1::hash'
template <class _Tp> struct hash;
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/u
sr/bin/../include/c++/v1/ext/__hash:22:54: note: candidate found by name lookup
is '__gnu_cxx::hash'
template <typename _Tp> struct _LIBCPP_TYPE_VIS_ONLY hash : public
std::hash<_Tp>
^
In file included from ../src/learnwts/learnwts.cpp:71:
In file included from ../src/infer/inferenceargs.h:70:
In file included from ../src/infer/inferutil.h:76:
In file included from ../src/logic/clause.h:76:
In file included from ../src/logic/domain.h:73:
In file included from ../src/util/constdualmap.h:75:
../src/util/strint.h:112:22: error: expected '(' for function-style cast or
type construction
return hash<char const *>()(s->str_);
~~~~ ^
fatal error: too many errors emitted, stopping now [-ferror-limit=]
20 errors generated.
make: *** [../bin/obj/learnwts.o] Error 1
What version of the product are you using? On what operating system?
--------------------------------------------------------------
Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr
--with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 6.0 (clang-600.0.56) (based on LLVM 3.5svn)
Target: x86_64-apple-darwin14.0.0
Thread model: posix
Please provide any additional information below.
--------------------------------------------------------------
Currently attempting to recompile using the following compiler (Will update
with results):
Using built-in specs.
COLLECT_GCC=g++-4.9
COLLECT_LTO_WRAPPER=/usr/local/Cellar/gcc/4.9.2_1/libexec/gcc/x86_64-apple-darwi
n14.0.0/4.9.2/lto-wrapper
Target: x86_64-apple-darwin14.0.0
Configured with: ../configure --build=x86_64-apple-darwin14.0.0
--prefix=/usr/local/Cellar/gcc/4.9.2_1
--libdir=/usr/local/Cellar/gcc/4.9.2_1/lib/gcc/4.9
--enable-languages=c,c++,objc,obj-c++,fortran --program-suffix=-4.9
--with-gmp=/usr/local/opt/gmp --with-mpfr=/usr/local/opt/mpfr
--with-mpc=/usr/local/opt/libmpc --with-cloog=/usr/local/opt/cloog
--with-isl=/usr/local/opt/isl --with-system-zlib --enable-libstdcxx-time=yes
--enable-stage1-checking --enable-checking=release --enable-lto
--disable-werror --with-pkgversion='Homebrew gcc 4.9.2_1'
--with-bugurl=https://github.com/Homebrew/homebrew/issues --enable-plugin
--disable-nls --enable-multilib
Thread model: posix
gcc version 4.9.2 (Homebrew gcc 4.9.2_1)
Original issue reported on code.google.com by [email protected]
on 10 Feb 2015 at 9:46
What steps will reproduce the problem?
1. learnwts: ../src/logic/clause.h:1186: static void Clause::addVarId(Term*
const&, const int&, const Domain* const&, Array<VarsGroundedType*>*&):
Assertion `typeId == vgt->typeId' failed.
Aborted
2.
3.
What is the expected output? What do you see instead?
What version of the product are you using? On what operating system?
Please provide any additional information below.
Original issue reported on code.google.com by [email protected]
on 3 Dec 2013 at 2:15
Attachments:
SOLUTIONS:
make the replacefoly* perl files executable in the repository.
In liftedinfer/common/src/queryupdater.cpp:511:62:
Add the -fpermissive flag for g++ to compile it,
But you should really be allocating this vector on the heap.... Otherwise
you'll segfault at some point.
-santiago perez
#########################
Linux wild-eyes 3.8.0-19-generic #30-Ubuntu SMP Wed May 1 16:35:23 UTC 2013
x86_64 x86_64 x86_64 GNU/Linux
#########################
../src/liftedinfer/common/src/queryupdater.cpp:511:62: error: taking address of
temporary [-fpermissive]
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.7/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro
4.7.3-1ubuntu1' --with-bugurl=file:///usr/share/doc/gcc-4.7/README.Bugs
--enable-languages=c,c++,go,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.7 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--with-gxx-include-dir=/usr/include/c++/4.7 --libdir=/usr/lib --enable-nls
--with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin
--with-system-zlib --enable-objc-gc --with-cloog --enable-cloog-backend=ppl
--disable-cloog-version-check --disable-ppl-version-check --enable-multiarch
--disable-werror --with-arch-32=i686 --with-abi=m64
--with-multilib-list=m32,m64,mx32 --with-tune=generic --enable-checking=release
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1)
Original issue reported on code.google.com by [email protected]
on 21 Jul 2014 at 9:45
What steps will reproduce the problem?
1. just run make
What is the expected output? What do you see instead?
../src/liftedinfer/common/src/queryupdater.cpp: In member function ‘void
LvrQueryUpdater::updateGibbsDontCareRB()’:
../src/liftedinfer/common/src/queryupdater.cpp:511:62: error: taking address of
temporary [-fpermissive]
make: *** [../bin/obj/queryupdater.o] Error 1
What version of the product are you using? On what operating system?
checkout from today
Please provide any additional information below.
Replacing the line by
rbestimates->incrementValue(keys[i],(new LogDouble(0.5,false)));
compiles fine.
Thank you!
Original issue reported on code.google.com by [email protected]
on 1 Oct 2013 at 8:53
Hi,
IN Appendix A of the "Markov Logic: An Interface Layer for Artificial
Intelligence" book, there is a mention of an online user manual. Does this
refer to Alchemy-1 manual, because I was not able to find an online manual for
Alchemy-2.
Duhai
Original issue reported on code.google.com by [email protected]
on 30 Jan 2014 at 1:53
I need this patch to compile under Linux, g++ (Ubuntu/Linaro 4.7.3-1ubuntu1)
4.7.3. Also had to chmod +x src/parser/replacefolcpp.pl and
src/parser/replacefoly.pl.
Index: src/liftedinfer/common/src/queryupdater.cpp
===================================================================
--- src/liftedinfer/common/src/queryupdater.cpp (revision 7)
+++ src/liftedinfer/common/src/queryupdater.cpp (working copy)
@@ -508,7 +508,8 @@
{
if(!values[i])
{
-
rbestimates->incrementValue(keys[i],&(LogDouble(0.5,false)));
+ LogDouble tmp(0.5,false);
+ rbestimates->incrementValue(keys[i],&tmp);
}
lvrAtomHashUpdateFlags->setValue(keys[i],false);
}
Original issue reported on code.google.com by [email protected]
on 29 Sep 2013 at 7:38
What steps will reproduce the problem?
1. Weight learning for HMM example (traffic lights) in tutorial
2. Parse error is reported (unexpected '!', expecting ',' or ') in formulas
containing variables that are followed by the ! operator, e.g. State(s!, t). It
seems that ! is not recognized as a valid operator.
3. En error (Assertion `index < numItems_' failed) is reported for formula
State(+s1, t) => State(+s2, t+1).
The same error occurs when a formula
Token("a",i) => Det(i,i+1)
is used for statistical parsing example in a tutorial. Again it seems that t+1
is not recognized as a valid assignment.
What is the expected output? What do you see instead?
This what I get when calling learnwts:
./learnwts -d -i traffic.mln -o traffic-out.mln -t traffic-train.db -ne State
----------------- parameters ----------------
-i = traffic.mln
-cw =
-ow =
-m = 0
-a = 0
-p = 0
-ms = 0
-simtp = 0
-seed = -1
-lazy = 0
-lazyNoApprox = 0
-memLimit = -1
-mwsMaxSteps = 1000000
-tries = 1
-targetWt = 0
-hard = 0
-heuristic = 2
-tabuLength = 10
-lazyLowState = 0
-burnMinSteps = 100
-burnMaxSteps = 100
-minSteps = -1
-maxSteps = 1000
-maxSeconds = -1
-subInterval = 2
-numRuns = 3
-numSwap = 10
-numSolutions = 10
-saRatio = 50
-saTemperature = 80
-lateSa = 1
-numChains = 10
-delta = 0.05
-epsilonError = 0.01
-fracConverged = 0.95
-walksatType = 1
-samplesPerTest = 100
-periodic = 0
-infer =
-d = 1
-g = 0
-o = traffic-out.mln
-t = traffic-train.db
-l =
-ne = State
-noAddUnitClauses = 0
-multipleDatabases = 0
-withEM = 0
-dNumIter = 100
-dMaxSec = 0
-dMaxMin = 0
-dMaxHour = 0
-dLearningRate = 0.001
-dMomentum = 0
-dNoPW = 0
-dVP = 0
-dNewton = 0
-dCG = 0
-cgLambda = 100
-cgMaxLambda = 1.79769e+308
-cgMinLLChange = 1e-05
-cgNoPrecond = 0
-queryEvidence = 0
-dInitWithLogOdds = 0
-dMwsMaxSubsequentSteps = -1
-gMaxIter = 10000
-gConvThresh = 1e-05
-gNoEqualPredWt = 0
-noPrior = 0
-priorMean = 0
-priorStdDev = -1
-lvg = 0
-ic =
----------------- end of parameters ----------------
priorStdDev set to (discriminative learning's) default of 2
Parsing MLN and creating domains...
ERROR in traffic.mln7873: line 7, col 7: parse error, unexpected '!', expecting
',' or ')'
ERROR in traffic.mln7873: line 8, col 5: parse error, unexpected '!', expecting
',' or ')'
learnwts: ../src/util/array.h:257: Type& Array<Type>::item(const int&) const
[with Type = std::basic_string<char>]: Assertion `index < numItems_' failed.
Num of errors detected = 2
UNRECOVERABLE ERROR in traffic.mln7873: line 10, col 31
Aborted (core dumped)
What version of the product are you using? On what operating system?
Alchemy-2 (Jan 2013 release) on Ubuntu 12.04.
Please provide any additional information below.
I have attached an .mln file for this example.
Original issue reported on code.google.com by [email protected]
on 31 Mar 2014 at 12:22
Attachments:
What steps will reproduce the problem?
bin/infer -i test.mln -e empty.db -r results.txt -q good
What is the expected output? What do you see instead?
expected (actually produced for weights 9.999999 and 10.000001)
good(A) 4.9995e-05
instead
good(A) 0.99995
What version of the product are you using? On what operating system?
Latest release (Jan 2013) on debian wheezy
Please provide any additional information below.
All other weights work just fine, but for some reason 10 doesn't work.
Original issue reported on code.google.com by [email protected]
on 19 Jan 2014 at 9:11
Attachments:
What steps will reproduce the problem?
D:\Work\alchemy-22\alchemy-2\bin>infer -i ..\exdata\smoker.mln -e
..\exdata\smoker.db -r smoking.results -q Smokes -ms -maxSteps 20000
result in:
----------------- end of parameters ----------------
Reading formulas and evidence predicates...
..\exdata\smoker.mln3944_tmpalchemy.mln
ERROR in ..\exdata\smoker.mln3944: line 12, col 9: parse error, unexpected $unde
fined, expecting ZZ_STRING
Num of errors detected = 1
total time taken = 0 secs
What is the expected output? What do you see instead?
What version of the product are you using? On what operating system?
Alchemy 2 compiled on Windows with Cygwin.
Please provide any additional information below.
Original issue reported on code.google.com by [email protected]
on 21 Jan 2015 at 11:52
What steps will reproduce the problem?
1. make (ubuntu 12.10)
2. follow tutorial from the pdf
$ cat uniform.mln
flip = {1,...,20}
Heads(flip)
$ cat empty.db
$
3. run alchemy
$ ./bin/infer -i uniform.mln -r uniform.result -e empty.db -q Heads
What is the expected output? What do you see instead?
----------------- parameters ----------------
-i = uniform.mln
-cw =
-ow =
-queryEvidence = 0
-m = 0
-a = 0
-p = 0
-ms = 0
-bp = 0
-efbp = 0
-decision = 0
-simtp = 0
-outputNetwork = 0
-counts = 0
-seed = -1
-lazy = 0
-lazyNoApprox = 0
-memLimit = -1
-PrintSamplePerIteration = 0
-SAInterval = 100
-MaxSeconds =
-SATempDownRatio = 0.9
-SA = 0
-hybrid = 0
-propstdev = tmp.sd
-contSamples =
-mwsMaxSteps = 1000000
-tries = 1
-targetWt = 0
-breakHardClauses = 0
-heuristic = 2
-tabuLength = 10
-lazyLowState = 0
-burnMinSteps = 100
-burnMaxSteps = 100
-minSteps = -1
-maxSteps = 1000
-maxSeconds = -1
-subInterval = 2
-numRuns = 3
-numSwap = 10
-lifted = 0
-useHC = 0
-useCT = 0
-convThresh = 0.0001
-convIterations = 20
-explicitRep = 0
-hcCreateType = 0
-hcCreateNoise = 0
-lncIter = 0
-noHC =
-numSolutions = 10
-saRatio = 50
-saTemperature = 80
-lateSa = 1
-numChains = 10
-delta = 0.05
-epsilonError = 0.01
-fracConverged = 0.95
-walksatType = 1
-testConvergence = 0
-samplesPerTest = 100
-e = empty.db
-r = uniform.result
-q = Heads
-f =
----------------- end of parameters ----------------
Reading formulas and evidence predicates...
uniform.mln10843_tmpalchemy.mln
Adding clauses to MLN...
converting to CNF:
Segmentation fault (core dumped)
What version of the product are you using? On what operating system?
Please provide any additional information below.
Original issue reported on code.google.com by [email protected]
on 30 Jan 2013 at 3:57
What steps will reproduce the problem?
1. I'm running following commands:
$(ALCHEMY_BASE)/bin/learnwts -g -i pre-train.mln -o train-gen.mln -t train.db
-ne Outcome
$(ALCHEMY_BASE)/bin/learnwts -d -i ore-train.mln -o train-disc.mln -t train.db
-ne Outcome
With any of the above commands, I get following error and program simply
terminates with empty output file:
learnwts: ../src/logic/database.h:1358: long long unsigned int
Database::getIdxOfGndPredValues(const Predicate* const&, const
Array<Array<std::pair<long long unsigned int, unsigned int> >*>&) const:
Assertion `constIdx >= 0' failed.
I'm using Ubuntu 14.04.
Original issue reported on code.google.com by [email protected]
on 12 Jun 2015 at 8:49
What steps will reproduce the problem?
1. make in /src/
What is the expected output? What do you see instead?
* Expected correct compilation
* Got:
../src/parser/replacefoly.pl ../src/parser/fol.y bison
flex -o../src/parser/follex.cpp ../src/parser/follex.y
bison ../src/parser/fol.y;
../src/parser/fol.y:2485.3-15: warning: extra characters in character literal
[-Wother]
'x^2 + x + 3'
^^^^^^^^^^^^^
mv -f fol.tab.c ../src/parser/fol.cpp
../src/parser/replacefolcpp.pl ../src/parser/fol.cpp
g++ -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 -o ../bin/obj/fol.o -c ../src/parser/fol.cpp
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y: In function ‘int yylex()’:
../src/parser/follex.y:165:10: error: ‘ZZ_INCLUDE’ was not declared in this
scope
return ZZ_INCLUDE;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:201:10: error: ‘ZZ_IMPLY’ was not declared in this
scope
return ZZ_IMPLY;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:210:10: error: ‘ZZ_EQUIV’ was not declared in this
scope
return ZZ_EQUIV;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:219:10: error: ‘ZZ_EXIST’ was not declared in this
scope
return ZZ_EXIST;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:228:10: error: ‘ZZ_FORALL’ was not declared in this
scope
return ZZ_FORALL;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:272:10: error: ‘ZZ_NUM’ was not declared in this
scope
return ZZ_NUM;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:281:10: error: ‘ZZ_NUM’ was not declared in this
scope
return ZZ_NUM;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:290:10: error: ‘ZZ_NUM’ was not declared in this
scope
return ZZ_NUM;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:299:44: error: ‘ZZ_CONSTANT’ was not declared in
this scope
if (zzdomain->isConstant(yytext)) return ZZ_CONSTANT;
^
../src/parser/follex.y:300:10: error: ‘ZZ_STRING’ was not declared in this
scope
return ZZ_STRING;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:312:12: error: ‘ZZ_TYPE’ was not declared in this
scope
return ZZ_TYPE;
^
../src/parser/follex.y:317:12: error: ‘ZZ_PREDICATE’ was not declared in
this scope
return ZZ_PREDICATE;
^
../src/parser/follex.y:322:12: error: ‘ZZ_FUNCTION’ was not declared in
this scope
return ZZ_FUNCTION;
^
../src/parser/follex.y:327:12: error: ‘ZZ_CONSTANT’ was not declared in
this scope
return ZZ_CONSTANT;
^
../src/parser/follex.y:330:10: error: ‘ZZ_VARIABLE’ was not declared in
this scope
return ZZ_VARIABLE;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:415:10: error: ‘ZZ_DOTDOTDOT’ was not declared in
this scope
return ZZ_DOTDOTDOT;
^
make: *** [../bin/obj/fol.o] Error 1
What version of the product are you using? On what operating system?
Latest version, Ubuntu 14.04
Please provide any additional information below.
Original issue reported on code.google.com by [email protected]
on 15 Aug 2014 at 8:28
What steps will reproduce the problem?
I am getting: "infer: ../src/logic/clause.h:1186: static void
Clause::addVarId(Term* const&, const int&, const Domain* const&,
Array<VarsGroundedType*>*&): Assertion `typeId == vgt->typeId' failed."
when running:
"infer -e dict.db,veljaci.db -i solve.mln -r solve_out.mln -q samePerson"
on attached mlns, and dbs.
What is the expected output? What do you see instead?
What version of the product are you using? On what operating system?
Centos 6, Latest release ( Jan 25, 2013)
Please provide any additional information below.
Original issue reported on code.google.com by [email protected]
on 18 Mar 2013 at 4:25
Attachments:
What steps will reproduce the problem?
1. Using the attached MLN and evidence file, run:
$ infer -i net.mln -e evidence.db -q R -outputNetwork -r ground.lcnf
What is the expected output? What do you see instead?
The input cnf has a formula of the form:
A <=> (B <=> C).
The grounded formula should give us constraints of the form:
!A v !B v C.
!A v B v !C.
A v !B v !C.
A v B v C.
Instead, it gives us an unsatisfiable formula consisting solely of unit clauses.
What version of the product are you using? On what operating system?
January 2013 release. Linux, Fedora 20, x86_64.
Please provide any additional information below.
Original issue reported on code.google.com by [email protected]
on 10 Feb 2015 at 4:44
Attachments:
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.