Commit Graph

5794 Commits

Author SHA1 Message Date
Vitor Santos Costa
6566445b06 windows stuff. 2012-06-08 06:52:48 -05:00
Vitor Santos Costa
ca9c748692 make win crash on interrupt, for now 2012-06-08 06:52:21 -05:00
Vitor Santos Costa
dba0a81b1c fix cudd finder. 2012-06-07 10:30:08 -05:00
Vitor Santos Costa
71bd1d9d1f fix missing cygwin header:w::wq 2012-06-07 10:29:17 -05:00
Vitor Santos Costa
2f434ff48b complain if we have no valid float configureation. 2012-06-07 10:28:30 -05:00
U-WIN-UA9ACS5GS9N\vitor
76d7a1d5e5 don't trust that X+200 is > X 2012-06-07 10:27:33 -05:00
Vítor Santos Costa
3a212944fb fix bad compare in checking pt 2012-06-06 00:09:14 +01:00
Vítor Santos Costa
c4bd913e34 fix stupid indesing of very long terms. 2012-06-05 08:04:22 +01:00
Vítor Santos Costa
d1d01ddc2a Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-06-05 00:13:22 +01:00
Vítor Santos Costa
47a4b902e0 fix stupid indexing on sub-terms.; 2012-06-05 00:12:13 +01:00
Ricardo Rocha
7e667c1038 fix multithreading with mode-directed tabling 2012-06-04 19:47:45 +01:00
Ricardo Rocha
d540354c30 adding sum mode operator + fix multithreading compatibility 2012-06-04 19:27:31 +01:00
Vitor Santos Costa
67d52d3560 fix depth calculation. 2012-06-04 18:21:34 +01:00
Vitor Santos Costa
3669cb894f Merge branch 'master' of https://github.com/tacgomes/yap6.3
Conflicts:
	packages/CLPBN/clpbn/horus.yap
2012-06-04 16:29:56 +01:00
Tiago Gomes
eec4b1452b print all lifted bp flags 2012-06-01 19:31:07 +01:00
Tiago Gomes
8fa8fff9f1 minor improvements 2012-06-01 19:29:57 +01:00
Tiago Gomes
25ccfa2f54 only allow joint dists on cliques 2012-06-01 19:29:23 +01:00
Vitor Santos Costa
1fbd5c268b extend WorkSpace 2012-06-01 16:39:06 +01:00
Tiago Gomes
4708685ed4 fix bug in Factor::contains 2012-06-01 14:03:39 +01:00
Vitor Santos Costa
71a62307f4 CLP(BN) stuff. 2012-06-01 13:17:39 +01:00
Vitor Santos Costa
39f392be9c allow finer control over indexing sub-terms.
improve flag code a bit.
2012-06-01 13:16:29 +01:00
Tiago Gomes
ecde9649a8 fix header guard 2012-06-01 12:35:44 +01:00
Tiago Gomes
b5369db214 use only solveQuery 2012-05-31 23:06:53 +01:00
Tiago Gomes
f91e543d9d workaround c++ bad design: don't allow creating a factor graph from some pointer 2012-05-31 22:42:38 +01:00
Tiago Gomes
3f0f41c8a9 cleanup 2012-05-31 21:24:40 +01:00
Tiago Gomes
e11ed1a226 forgot these two 2012-05-31 21:24:15 +01:00
Tiago Gomes
22d8876d33 add support to (real) lifted belief propagation 2012-05-31 21:12:46 +01:00
Tiago Gomes
22780c4559 handle empty vectors in TinySet 2012-05-31 14:57:53 +01:00
Tiago Gomes
7429a39b48 fix a bug on absorving lifted evidence 2012-05-31 14:09:50 +01:00
Tiago Gomes
c2297c3f70 add lbp flag 2012-05-31 12:45:09 +01:00
Tiago Gomes
d00eb05624 use bind2nd instead of bind1st 2012-05-31 12:19:13 +01:00
Tiago Gomes
6668ee6381 add initial skeleton for lifted bp 2012-05-30 19:23:41 +01:00
Tiago Gomes
8d14593c3e add an enum for lifted solvers and do some renamings 2012-05-30 17:17:39 +01:00
Tiago Gomes
ac38e9e6a6 minor improvement 2012-05-29 17:19:49 +01:00
Tiago Gomes
651051484b update TODO 2012-05-29 17:14:29 +01:00
Tiago Gomes
02395daed3 add a sequential elimination heuristic 2012-05-29 17:14:01 +01:00
Tiago Gomes
0315cd51a3 remove repeated elements in TinySet 2012-05-29 17:09:45 +01:00
Tiago Gomes
6feb746412 use STL to calculate L1 distance and max norm 2012-05-29 13:48:08 +01:00
Tiago Gomes
3ac854b2ff use more Util::sizeExpected 2012-05-28 21:27:52 +01:00
Tiago Gomes
54ae29ae02 replace Util::add and Util::multiply by Util::apply_n_times 2012-05-28 21:09:56 +01:00
Tiago Gomes
f489a59194 use std::accumulate to calc the msg size 2012-05-28 20:59:39 +01:00
Vítor Santos Costa
2def937080 don't index velow depth 20. 2012-05-28 20:40:12 +01:00
Tiago Gomes
57e32267fe remove unecessary code 2012-05-28 19:47:20 +01:00
Tiago Gomes
62283f353c some renamings 2012-05-28 19:41:24 +01:00
Tiago Gomes
64b53e8180 minor improvements 2012-05-28 19:10:29 +01:00
Tiago Gomes
004e6c0c5f minor improvements 2012-05-28 18:26:15 +01:00
Tiago Gomes
0cee50496e fix compilation in older gcc 2012-05-28 17:57:45 +01:00
Tiago Gomes
d5c2e6833d use convenient function 2012-05-28 17:43:48 +01:00
Tiago Gomes
978ad635b7 update configure 2012-05-28 17:02:51 +01:00
Tiago Gomes
0ad8f5fb4a remove whitespace 2012-05-28 17:01:07 +01:00