diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
9,039 Commits 2 Branches 6 Tags 146 MiB
f23b8b5418
Commit Graph

1809 Commits

Author SHA1 Message Date
Vítor Santos Costa
cffef55b61 latex to html translator port from SWi. 2013-11-18 01:21:21 +00:00
Vítor Santos Costa
5dbaeedf08 fix bad pruning in meta-call 2013-11-16 23:08:17 +00:00
Vitor Santos Costa
2a5f6535ae fix win64 2013-11-16 16:58:07 +00:00
Vitor Santos Costa
b1c2fbd6bb iKeri patch 2013-11-13 13:24:37 +00:00
Vitor Santos Costa
4fa9021a7b integration work: 
- use SWI flags whenever possible
  - support by module unknown, escapes, strings
  - accesss thread info fom SWI
  - allow strings to be input as strings.
  - remove some unused flags.
 2013-11-13 10:38:20 +00:00
Vítor Santos Costa
a2fc06df36 update 2013-11-11 12:32:03 +00:00
Vítor Santos Costa
bf7fd9982b update 2013-11-11 12:31:11 +00:00
Vítor Santos Costa
85c0435f59 update 2013-11-11 12:30:32 +00:00
Vítor Santos Costa
d6d437d12f update 2013-11-11 12:10:04 +00:00
Vítor Santos Costa
5c4cb1c43c update 2013-11-11 12:09:35 +00:00
Vítor Santos Costa
07bfa49691 update 2013-11-11 11:54:16 +00:00
Vítor Santos Costa
5a9b904fb4 update 2013-11-11 11:47:15 +00:00
Vítor Santos Costa
1efab018bd update 2013-11-11 11:47:04 +00:00
Vítor Santos Costa
e92c3c6dbb mac and win support 2013-11-11 11:42:57 +00:00
Vítor Santos Costa
d98d888fd8 mac support. 2013-11-11 11:40:59 +00:00
U-vsc-PC\vsc
953befcb7d win 2013-11-11 10:35:50 +00:00
U-vsc-PC\vsc
eea8d78ec5 improve search in boot 2013-11-11 10:34:55 +00:00
U-vsc-PC\vsc
5e6cc55713 win stuff 2013-11-11 10:27:04 +00:00
Vítor Santos Costa
0205a222d9 Attached is a small patch to respect any LDFLAGS when building 
library/lammpi or packages/CLPBN/horus.

Keri Harris
 2013-11-10 11:22:54 +00:00
Vitor Santos Costa
a69a2442c9 fix \% 2013-11-08 23:48:57 +00:00
Vitor Santos Costa
7e0bf7fbe8 fix operator issues 2013-11-08 00:13:04 +00:00
Vítor Santos Costa
810a7faf4e aggregates should know about with operator 2013-11-07 23:49:16 +00:00
Vítor Santos Costa
1a8b038b5b fix missing return 2013-11-04 21:41:26 +00:00
U-w7\vsc
a9b025e6a1 BSD and __WINDOWS__ 2013-11-04 15:30:34 +00:00
Vitor Santos Costa
d2ed850643 separate cplint and mpi interface. 2013-11-04 13:16:14 +00:00
Vitor Santos Costa
e07a60887b new version 2013-11-04 13:01:43 +00:00
Vitor Santos Costa
52fcf2c7ab configuration for gecode 2013-11-04 10:00:32 +00:00
Vitor Santos Costa
415a6a3a71 configuration for clib 2013-11-04 09:59:42 +00:00
Vítor Santos Costa
f44c2b1488 missing new files 2013-11-04 09:39:14 +00:00
Vítor Santos Costa
a2842ef9ce missing new files 2013-11-04 08:16:52 +00:00
Vítor Santos Costa
57760e3dc9 more files for maildrop configure 2013-11-04 08:04:37 +00:00
Vítor Santos Costa
6c9d7d120f distribute configure 2013-11-04 07:42:14 +00:00
Vítor Santos Costa
a069d8b5f6 fix in DESTDIR 2013-11-04 07:26:16 +00:00
Vítor Santos Costa
c9780cb3ad updates 2013-11-04 01:47:50 +00:00
Vítor Santos Costa
e630d63d9e updates 2013-11-04 01:39:20 +00:00
Vítor Santos Costa
1cd029197b updates 2013-11-04 01:36:15 +00:00
Vítor Santos Costa
5090a08f5c updates 2013-11-04 01:34:31 +00:00
Vítor Santos Costa
4ce1479da5 distributed commit 2013-11-04 01:18:43 +00:00
Vítor Santos Costa
1ede2112c6 distributed configure 2013-11-03 23:55:09 +00:00
Vítor Santos Costa
1967e0c434 distributed config file 2013-11-03 14:13:08 +00:00
Vítor Santos Costa
e423fc28e5 distributed config && float library 2013-11-03 14:12:38 +00:00
Vítor Santos Costa
e84540b4f0 C++ does not allow variable length arrays: quick fix 2013-11-03 13:35:54 +00:00
Vítor Santos Costa
3bbc867611 fix sun jdk in darwin 2013-10-30 22:12:34 +00:00
U-w7\vsc
360e8a9269 WIN32 support 2013-10-30 13:56:35 +00:00
Vitor Santos Costa
699edafa2c try to improve jpl and zlib makefiles 2013-10-30 12:57:46 +00:00
Vitor Santos Costa
149ef50865 new version for jpl 2013-10-30 10:56:01 +00:00
Vítor Santos Costa
d7c13b53d8 new version 2013-10-30 10:00:41 +00:00
Vítor Santos Costa
ddf624d351 new swi code 2013-10-30 09:57:59 +00:00
Vítor Santos Costa
2669240c4f debug memory allocations 2013-10-17 00:44:24 +01:00
Vítor Santos Costa
bd541bc57f eliminate leak and fix memory tracking 2013-10-16 17:33:49 +01:00
Vítor Santos Costa
5ad10a1057 profiling 2013-10-16 16:19:03 +01:00
Vítor Santos Costa
94cb9b7563 allow debugging of memory allocation 2013-10-16 14:52:54 +01:00
Vítor Santos Costa
b50305a100 fix fix 2013-10-16 11:24:23 +01:00
Vítor Santos Costa
3fa1f856f6 fix alaises in cuda 2013-10-16 11:15:26 +01:00
Vítor Santos Costa
a01b319032 fix cuda multijoin (Carlos) 2013-10-16 09:52:41 +01:00
Vítor Santos Costa
691e977a68 cuda fixes by Carlos and other diverse (fact init, configure). 2013-10-12 12:46:01 +01:00
Vítor Santos Costa
0dc78f106b more cuda checking 2013-10-12 01:11:21 +01:00
Vítor Santos Costa
d02842c9ff missing file 2013-10-09 14:59:57 +01:00
Vitor Santos Costa
e41851e9d9 cuda 2013-10-09 14:59:03 +01:00
Vítor Santos Costa
a165d3e4c2 missing heder 2013-10-09 14:41:53 +01:00
Vítor Santos Costa
ffd9bb7a19 missing headers 2013-10-09 13:33:10 +01:00
Vítor Santos Costa
f6bc5ab918 more fixes; get coverage quickly 2013-10-09 11:23:45 +01:00
Vítor Santos Costa
6ec98fbcbd make safe for overflow 2013-10-08 13:05:08 +01:00
Vítor Santos Costa
c757e51cb0 fixes, small improvements in functionality 2013-10-08 12:46:06 +01:00
Vítor Santos Costa
490b7cd40a small fixes 2013-10-07 18:34:29 +01:00
Vítor Santos Costa
fbf6648433 more CUDA fixes 2013-10-07 13:48:19 +01:00
Vítor Santos Costa
1593ee4918 fix interface 2013-10-07 12:38:08 +01:00
Vítor Santos Costa
9800753a1b learn from true by default 2013-10-07 12:21:39 +01:00
Vítor Santos Costa
726d7ca1cc cuda package from Carlos 2013-10-07 12:20:00 +01:00
Vitor Santos Costa
74a6a79960 interface to cuda datalog package 2013-10-04 14:42:18 +01:00
Vitor Santos Costa
43163a190f Atom Translations and CUDA stub 2013-10-04 13:22:00 +01:00
Vitor Santos Costa
1c9167a6c5 small fixes 2013-10-03 11:28:09 +01:00
Vitor Santos Costa
448e2c88e1 document BDD package 2013-09-30 15:45:01 +01:00
Fabrizio Riguzzi
3659f9036c testing output 2013-09-17 14:10:08 +02:00
Fabrizio Riguzzi
faf7726452 test program 2013-09-17 13:04:22 +02:00
Fabrizio Riguzzi
700cd2d9dc CLL->Score 2013-09-09 12:41:42 +02:00
Fabrizio Riguzzi
52caac6548 aucpr as a score 2013-09-08 22:11:11 +02:00
Fabrizio Riguzzi
b00a5bf7fc em/8 returns the list of updated probabilities of examples 2013-09-08 17:46:36 +02:00
Fabrizio Riguzzi
cbf31fcd50 fixed test predicates 2013-09-08 16:06:18 +02:00
Fabrizio Riguzzi
b06e1f8bb0 var depth 2013-09-04 21:34:04 +02:00
Fabrizio Riguzzi
c671d8aa29 slipcover manual 2013-09-04 21:12:09 +02:00
Fabrizio Riguzzi
842b7f25ab Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 2013-09-04 19:11:28 +02:00
Fabrizio Riguzzi
1f3f9bfb1f inference_sl.pl equal to slipcase 2013-09-04 19:10:31 +02:00
Fabrizio Riguzzi
d53857db21 dos2unix inference_sl.pl 2013-09-04 19:09:36 +02:00
Fabrizio Riguzzi
cb304e781c slipcover 2013-09-04 18:58:00 +02:00
Vitor Santos Costa
24de22eeb5 MLN generative learning 2013-07-29 17:56:32 -05:00
Vitor Santos Costa
bfb4cef8f9 fixes 2013-07-29 17:55:51 -05:00
Vitor Santos Costa
3bb50ce3af handle possible stack expansion or gc 2013-07-25 10:21:17 -05:00
Vitor Santos Costa
4245a04ed0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-07-16 10:00:51 -05:00
Fabrizio Riguzzi
a405ee4bb0 update manual 2013-07-16 15:57:18 +02:00
Vítor Santos Costa
5e80c3ca86 learning 2013-07-16 08:00:16 -05:00
Fabrizio Riguzzi
2e309201ab slipcase examples 2013-07-16 13:55:22 +02:00
Fabrizio Riguzzi
dff6925a66 remved unnecessary gloabl vars from bddem.c 2013-07-16 12:43:50 +02:00
Fabrizio Riguzzi
d87bb830cd simplecudd link 2013-07-12 15:03:37 +02:00
Fabrizio Riguzzi
69b1f51a4e fixed hrefs in cplint manual 2013-07-12 14:59:20 +02:00
Vitor Santos Costa
ddee3df5f8 fix order 2013-06-20 18:09:30 -05:00
Vitor Santos Costa
cc73f426d9 MLN stuff 2013-06-19 21:38:43 -05:00
Vitor Santos Costa
24714dbd01 small fixes to l-bfgs 2013-06-19 21:36:18 -05:00
Vítor Santos Costa
f4ef6702e1 upgrade version 2013-06-19 21:34:30 -05:00
Vitor Santos Costa
7e1f3009e6 Bernd Gutmann's lbfgs interface 2013-06-13 17:57:55 -05:00
Vitor Santos Costa
f1cbc7f3be improved mln stuff 2013-06-07 18:22:42 -05:00
Vitor Santos Costa
23a787bcb3 mlns in PFL 2013-06-06 19:22:22 -05:00
Vitor Santos Costa
6b31d08633 mlns in PFL 2013-06-06 19:18:46 -05:00
Vítor Santos Costa
ea3f25c378 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-04-16 21:26:41 -05:00
Vitor Santos Costa
cb08a542e2 get rid of comments 2013-04-16 21:14:05 +01:00
Vitor Santos Costa
1c9cc469d5 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-04-16 21:11:51 +01:00
Tiago Gomes
9e57b32431 Fix compilation with older versions of GCC 2013-04-16 21:07:03 +01:00
Vítor Santos Costa
e5d5352268 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-04-16 07:53:01 -05:00
Vitor Santos Costa
78410ade1a ensure evidence does not go away, make sure YAP compiles 2013-04-15 19:12:53 -05:00
Tiago Gomes
9e9ad24c90 Small updates to latex docs 2013-04-13 12:43:52 +01:00
Tiago Gomes
761406fa46 Small updates to html docs 2013-04-13 12:33:48 +01:00
Tiago Gomes
745a034d43 Reduce the size of the section labels 2013-04-13 00:49:59 +01:00
Tiago Gomes
cb6715664b Create a HTML version of the manual 2013-04-12 23:49:12 +01:00
Tiago Gomes
3405a8895b Small updates to manual 2013-04-12 23:48:25 +01:00
Tiago Gomes
fc2530fbe2 It appears that 'make install' on top level calls 'make all' on the horus makefile 2013-04-11 23:16:51 +01:00
Tiago Gomes
7ecfb999d5 Style change 2013-04-11 23:06:13 +01:00
Tiago Gomes
de6d7981fb Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-04-11 22:28:41 +01:00
Vítor Santos Costa
23d2f7b8e5 more cleanups. 2013-04-07 10:40:42 -05:00
Vítor Santos Costa
4a95575fe1 should always lookup who generates the parameters (not supported in learning). 2013-04-07 09:51:20 -05:00
Vítor Santos Costa
30cc02e4ee Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-04-07 08:18:54 -05:00
Vítor Santos Costa
4ab4f1cab1 allow integer parameters. 2013-04-07 08:18:13 -05:00
Vitor Santos Costa
12799589a8 thread fixes 2013-04-07 00:00:41 +01:00
Tiago Gomes
b13a8b73a1 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-04-04 16:20:18 +01:00
Tiago Gomes
a2e54a235a Factor: improve factor multiplication 
Pass the argument as reference-to-const and also allow chaining of multiplications.
 2013-03-21 21:49:12 +00:00
Tiago Gomes
6da2580c8f Fix c550139c8b 2013-03-21 21:43:27 +00:00
Tiago Gomes
e2ca97c8de Factor: use the default copy constructor 2013-03-21 21:20:28 +00:00
Tiago Gomes
389daab83f Oops 2013-03-21 19:29:24 +00:00
Tiago Gomes
da88ffcc78 Watch out for undefined behaviour. 2013-03-18 16:18:47 +00:00
Tiago Gomes
c550139c8b Add more assertations to Factor class. 
SumOutFirstVariable and SumOutLastVariable will only are correctly defined if the variable is binary.
 2013-03-18 15:57:10 +00:00
Tiago Gomes
4ca17b9e9b Turn off debug by default 2013-03-18 15:08:06 +00:00
Tiago Gomes
acf83dd0a1 Add some unit tests 2013-03-18 14:42:54 +00:00
Tiago Gomes
403695a7ba Ouch! We were deleting the same links twice 2013-03-18 12:56:36 +00:00
Tiago Gomes
07dba92406 Add a more complex example to be used by unit tests 2013-03-18 11:33:27 +00:00
Tiago Gomes
bc04d28092 Use a static method to create a FactorGraph 2013-03-14 16:57:34 +00:00
Tiago Gomes
2ef1651c6a Add more 2 digits of precision 2013-03-14 16:55:20 +00:00
Tiago Gomes
b5d72f751e We need to reverse the ranges too 2013-03-13 23:22:38 +00:00
Tiago Gomes
d3663d9370 Forgot to call exit 2013-03-13 22:37:04 +00:00
Tiago Gomes
23469e6f94 Initial infrastructure to support CppUnit 2013-03-13 14:47:14 +00:00
Tiago Gomes
5e5feb5674 Improve Makefile 2013-03-12 21:11:43 +00:00
Vítor Santos Costa
7f910c694d fix paths 2013-03-10 15:21:42 -05:00
Vitor Santos Costa
d0858c0d0c remove debugging 2013-03-10 17:24:47 +00:00
Vitor Santos Costa
6397cc9ff7 merge 2013-03-10 17:17:58 +00:00
Vitor Santos Costa
e7146c9a46 new version, thread only. 2013-03-10 17:13:09 +00:00
Vitor Santos Costa
b0b74fd0f8 update 2013-03-10 15:49:37 +00:00
Vitor Santos Costa
f62ea7686a fixes and update 2013-03-10 15:44:23 +00:00
Tiago Gomes
21c401c0dd Move CTNode class to sourcef file 2013-03-09 19:41:17 +00:00
Tiago Gomes
2da7249247 Trivial 2013-03-09 17:14:00 +00:00
Tiago Gomes
a300b27764 BeliefProp: move some members to private section 2013-03-09 16:46:42 +00:00
Tiago Gomes
95539226ea Kill SPNodeInfo class 2013-03-09 16:41:53 +00:00
Tiago Gomes
d563fce952 Var: replace struct by a pair 2013-03-09 16:18:13 +00:00
Tiago Gomes
532654baba Use enum class instead of old enum. 
As we are relying on c++11x for other stuff too.
 2013-03-09 15:39:39 +00:00
Vitor Santos Costa
a5000dab32 change SWI stuff to swi directory. 2013-03-05 15:50:38 -06:00
Tiago Gomes
7193d2238d Move template definitions to source file and use explicite template instantiation. 2013-03-04 17:58:32 +00:00
Tiago Gomes
063f3ff6e3 Forgot to add these two in the previous commit 2013-03-04 17:57:56 +00:00
Tiago Gomes
93fa793683 Separate TFactor and Factor classes. 
Rename TFactor to GenericFactor. GenericFactor.cpp is empty for now.
 2013-03-04 15:47:47 +00:00
Tiago Gomes
98efd54da7 Remove unused member function 2013-03-04 15:10:51 +00:00
Vitor Santos Costa
acf565d91b new version. 2013-03-03 08:54:09 -06:00
Tiago Gomes
902624f557 f(void) vs f() 
"In fact, the f(void) style has been called an "abomination" by Bjarne Stroustrup, the creator of C++, Dennis Ritchie, the co-creator of C, and Doug McIlroy, head of the research department where Unix was born."
 2013-02-28 19:45:37 +00:00
Vitor Santos Costa
b49e9b908b gradient is more complex to compute 2013-02-26 09:39:56 -06:00
Vitor Santos Costa
59d97f83b4 handle negation in tries and add debugging hooks 2013-02-26 09:39:18 -06:00
Tiago Gomes
c8b639f495 Define sortByParams as a local class 2013-02-22 12:35:14 +00:00
Tiago Gomes
0991a84793 Move sortByParams to source file 2013-02-21 00:13:11 +00:00
Tiago Gomes
59c6f5c243 DISALLOW_COPY_AND_ASSIGN should be in the end 2013-02-21 00:06:34 +00:00
Tiago Gomes
f0572e3cfb Move BpLink to inside of BeliefProp 2013-02-20 23:59:03 +00:00
Tiago Gomes
6b0e125e3b Move MsgSchedule enum to inside class BeliefProp. 
Move also SPNodeInfo to inside BeliefProp. Improve also some using of enums.
 2013-02-20 23:34:03 +00:00
Tiago Gomes
ce8152d7a0 Add a comment explaining why we are inlining functions with loops in ElimGraph 2013-02-20 23:08:12 +00:00
Vítor Santos Costa
6f6f578578 fix not handling 2013-02-20 13:10:20 -06:00
Tiago Gomes
1d54a78601 BayesBall: improve encapsulation 2013-02-20 14:13:37 +00:00
Tiago Gomes
9a68d95c18 Turn EGNode to be a nested class inside ElimGraph 2013-02-20 13:49:01 +00:00
Tiago Gomes
8ca379c74a Move ElimHeuristic enum to inside of ElimGraph class 2013-02-20 12:52:55 +00:00
Tiago Gomes
8de22f4f0b Counting Bp: move internal classes to source file 2013-02-20 12:42:05 +00:00
Tiago Gomes
8c2468c28b Improve encapsulation in HorusYap and perform other small refactorings 2013-02-20 11:52:42 +00:00
Tiago Gomes
77dfe50acb LiftedVe: move internal classes to source file 2013-02-20 00:21:01 +00:00
Tiago Gomes
7edfe44576 WeightedBp: remove unnecessary include 2013-02-20 00:13:15 +00:00
Tiago Gomes
74a9eda09d HorusCli: put internal functions in an anonymous namespace 2013-02-20 00:05:45 +00:00
Tiago Gomes
e3439af0a0 LiftedKc: improve header include 2013-02-19 23:59:05 +00:00
Tiago Gomes
e434e87cc8 LiftedKc: remove unnecessary data members 2013-02-19 23:57:22 +00:00
Tiago Gomes
c9543514c5 LiftedKc: move some internal classes to source file 2013-02-19 23:47:46 +00:00
Vítor Santos Costa
638bee41cd fix compilation issues & up-to-date to recente SWI. 2013-02-17 07:32:55 -06:00
Tiago Gomes
b6ee7b4460 Don't extend explicity the life time of returned temporaries. 
That sort of optimization is compiler's work.
 2013-02-16 18:58:22 +00:00
Tiago Gomes
ea49b517e8 Some renamings in ElimGraph 2013-02-16 17:03:12 +00:00
Tiago Gomes
ba79d2e422 Add a source file for Indexer class 
- Move some non-performance critical methods to the source file
- Fix some implicit declarions of members in iomanip
- Fix declaration order in Makefile.in
 2013-02-16 16:42:08 +00:00
Tiago Gomes
0852c4fe22 Clean ups 2013-02-16 16:17:14 +00:00
Tiago Gomes
d0f5d0f9ab Change LiftedOperations to be a namespace instead of class with static member functions 2013-02-16 16:00:53 +00:00
Tiago Gomes
be24ff5160 Fix typos 2013-02-16 15:30:44 +00:00
Tiago Gomes
acb4bf610f Clean HorusYap a bit 2013-02-16 01:54:11 +00:00
Tiago Gomes
bf1ba17855 Fix typos detected by cppcheck 2013-02-13 23:47:00 +00:00
Tiago Gomes
57f46e7c0d Fix printed string showed when file opening fails 2013-02-13 19:18:55 +00:00
Tiago Gomes
ab7f4c8113 Fix namespace name 2013-02-13 19:09:11 +00:00
Tiago Gomes
ef4ebb4d7f Use camel case for constants and enumerators. 
All capitals case should be reserved for macros and besides there is no big need to emphasize constness in general.
 2013-02-13 18:54:15 +00:00
Tiago Gomes
afd26ed9b4 Trivial 2013-02-13 15:25:55 +00:00
Tiago Gomes
bd70033c06 Disallow copy and assign for Var too 2013-02-13 14:42:24 +00:00
Tiago Gomes
2bc123d72c Update class, struct and enum bracket style 2013-02-13 14:26:47 +00:00
Tiago Gomes
e178c1af04 Change namespace name to be in Pascal case 2013-02-08 21:12:46 +00:00
Tiago Gomes
6a1a209ee3 Revert "Improve namespace names" 
This reverts commit 973df43fe0.

On a second thought, namespaces are close to classes in the sense that both encapsulate data, so they should both use Pascal case notation.
 2013-02-08 21:01:53 +00:00
Tiago Gomes
264ef7a067 Clean a bit LiftedWCNF class 2013-02-08 12:12:45 +00:00
Tiago Gomes
bff56c75ca Trivial 2013-02-08 01:11:18 +00:00
Tiago Gomes
98842dca74 Trivial 2013-02-08 00:56:42 +00:00
Tiago Gomes
c41b6d80b6 Trivial 2013-02-08 00:28:32 +00:00
Tiago Gomes
cd8a25162e Trivial 2013-02-08 00:22:51 +00:00
Tiago Gomes
206cf0a9c7 Trivial 2013-02-08 00:20:01 +00:00
Tiago Gomes
973df43fe0 Improve namespace names 2013-02-08 00:15:41 +00:00
Tiago Gomes
6f83ceb6f5 Put the code inside a horus namespace 2013-02-07 23:53:13 +00:00
Tiago Gomes
4267465f53 Trivial 2013-02-07 22:41:04 +00:00
Tiago Gomes
3738d0b2c6 Move some things around. No functional changes 2013-02-07 22:37:45 +00:00
Tiago Gomes
2992f9e3cf Trivial 2013-02-07 20:54:59 +00:00
Tiago Gomes
5c84a2f532 Improve includes 2013-02-07 20:09:10 +00:00
Tiago Gomes
544d0aa39e Improve header guards (again) 2013-02-07 17:50:33 +00:00
Tiago Gomes
bb7a530da3 Avoid importing the std namespace 2013-02-07 13:37:15 +00:00
Tiago Gomes
7b60e88545 Improve Header guards 2013-02-06 22:58:42 +00:00
Tiago Gomes
80452bf75d Small improvements 2013-02-06 00:29:29 +00:00
Tiago Gomes
42a5bc493a Move methods with more than two lines to outside of class definition 2013-02-06 00:29:03 +00:00
Vitor Santos Costa
f873074961 update. 2013-02-05 14:34:55 +00:00
Vítor Santos Costa
02a9709431 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-01-28 09:32:22 +00:00
Vítor Santos Costa
56a22473ea update swi. 2013-01-28 09:31:06 +00:00
Tiago Gomes
0d9d59f5fe Trivial 2013-01-25 13:58:30 +00:00
Tiago Gomes
31bff4dc84 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-01-25 13:50:09 +00:00
Tiago Gomes
bef65dac57 Fix a compilation error with older versions of GCC 2013-01-25 13:47:20 +00:00
Tiago Gomes
9dfedafe98 PFL manual: small improvements 2013-01-25 13:45:35 +00:00
Vitor Santos Costa
8e427074d8 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-01-25 09:35:30 +00:00
Vítor Santos Costa
bbaf1f13d4 upstream 2013-01-25 09:32:48 +00:00
Vítor Santos Costa
c758d23ab4 upstream swi code 2013-01-25 09:32:17 +00:00
Vitor Santos Costa
829c3ec8c4 update to latest swi. 2013-01-24 13:14:07 +00:00
Vitor Santos Costa
8774fed9ff use uninstalled YAP with appropriated libs 2013-01-22 22:22:30 +00:00
Vítor Santos Costa
b24c91eeb3 install chr in bootstrap 2013-01-20 22:55:19 +00:00
Vitor Santos Costa
b25e1fb7e8 update 2013-01-18 14:34:15 +00:00
Tiago Gomes
5683258187 PFL manual: fix typo 2013-01-16 08:53:09 +00:00
Tiago Gomes
6cad8969c6 Put solver always as the first argument 2013-01-15 12:27:21 +00:00
Tiago Gomes
cac748d41a Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-01-14 16:43:46 +00:00
Vítor Santos Costa
ec37045ca3 new versions. 2013-01-13 11:53:58 +00:00
Tiago Gomes
83ccb31665 PFL manual: rework the parameter learning section 2013-01-12 12:30:34 +00:00
Tiago Gomes
90614d3594 PFL manual: minor tweaks 2013-01-12 12:30:14 +00:00
Tiago Gomes
3ecc65b816 PFL manual: fix typo, is sprinkler not sprinker 2013-01-11 21:15:01 +00:00
Tiago Gomes
509491cd0f PFL manual: improve the way we present the solver options 2013-01-11 19:39:27 +00:00
Tiago Gomes
8c8e2b034f Improve a bit the learning examples 2013-01-11 00:16:56 +00:00
Tiago Gomes
8285b8e1e4 Cuttify\! 2013-01-10 23:38:46 +00:00
Tiago Gomes
8f9b11cc7c Comment set_em_solver so that hve becomes that default 2013-01-10 23:04:17 +00:00
Tiago Gomes
4aa4cb50b0 Switch solver order in examples 2013-01-10 23:02:34 +00:00
Tiago Gomes
f3bd8ad414 Use the word option instead of key. Key reminds me of hashes 2013-01-10 22:59:12 +00:00
Tiago Gomes
f7fcfec8ce PFL manual: some rewording 2013-01-10 22:42:23 +00:00
Tiago Gomes
d3e2abd677 Don't use the name horus in documentation. 
It is just an internal code name.
 2013-01-10 22:39:46 +00:00
Tiago Gomes
fdeca2852a Use only one interface for options. 
set_pfl_flag/2 now can be called for setting options for solvers written in Prolog and for solvers in Horus.
 2013-01-10 22:10:22 +00:00
Tiago Gomes
e5e224d89b Fix typo 2013-01-10 21:51:45 +00:00
Tiago Gomes
bd84949f09 Trivial 2013-01-10 17:23:09 +00:00
Tiago Gomes
1bb1138b3a Fix EM typos 2013-01-10 13:45:24 +00:00
Vitor Santos Costa
b7ef6576a6 add keys within learning 2013-01-09 18:34:19 +00:00
Vitor Santos Costa
6cee85bd60 fix cases where you get repeated keys or a(X,X) keys in PFL. 2013-01-09 18:22:01 +00:00
Vitor Santos Costa
46fbc539bf handle repeated query vars with evidence 2013-01-09 17:49:07 +00:00
Vitor Santos Costa
ff953eb20a Merge branch 'master' of https://github.com/tacgomes/yap6.3 2013-01-09 16:48:16 +00:00
tacgomes
2feac46e54 PFL manual: several improvements 2013-01-09 16:45:01 +00:00
tacgomes
7f452d2397 Refactor the benchmarks 2013-01-09 15:25:14 +00:00
tagomes@fc.up.pt
7fabfcf4c9 Trivial 2013-01-09 11:43:40 +00:00
Tiago Gomes
24271157ce Clean unecessary latex documents 2013-01-08 22:55:27 +00:00
Tiago Gomes
59ae52623c PFL manual: several improvements 2013-01-08 22:51:44 +00:00
Tiago Gomes
6755e50525 PFL manual: small improvements 2013-01-08 22:00:31 +00:00
Tiago Gomes
ea054468bc Improve hcli usage string 2013-01-08 21:17:56 +00:00
Tiago Gomes
dc536fabc2 Beautify setHorusFlag 2013-01-08 21:13:58 +00:00
Tiago Gomes
2738d83302 Remove some alias for hve 2013-01-08 20:48:46 +00:00
Tiago Gomes
dfd7360291 Allow the use of solver as an alias of ground_solver 2013-01-08 20:47:12 +00:00
Tiago Gomes
dbd35a20a2 PFL manual: improve introduction section 2013-01-08 19:40:20 +00:00
Tiago Gomes
9c8fd804df PFL manual: add a further information section 2013-01-08 19:39:39 +00:00
Tiago Gomes
f94032d06c PFL manual: add an installation section 2013-01-08 19:39:03 +00:00
Tiago Gomes
1b9c4e96e7 Prefix with bp_ some bp flags 2013-01-08 17:06:40 +00:00
Tiago Gomes
da0514a779 Add support for more infernce keys. 
Add support for export_libdai, export_uai, export_gv and print_fg.
Document these keys.
 2013-01-08 17:01:03 +00:00
Tiago Gomes
4220069d90 PFL manual: use the Unix end-of-line marker 2013-01-08 15:34:56 +00:00
Tiago Gomes
75b652b0c9 PFL manual: improve title page and reword a sentence 2013-01-08 15:33:55 +00:00
Tiago Gomes
6375d05a93 PFL manual: add section for horus cli 2013-01-08 15:31:52 +00:00
Tiago Gomes
182429252e Update the usage string for hcli 2013-01-08 14:47:21 +00:00
Tiago Gomes
c92b7c3e7e Install hcli to the bin directory 2013-01-08 00:33:01 +00:00
Tiago Gomes
f598881cc5 Explain better the potential value order 2013-01-07 22:21:52 +00:00
Tiago Gomes
9bb43360a2 Rearrange the probabilities to do a clean diff against the exported model 2013-01-07 22:18:50 +00:00
Tiago Gomes
ba32ebc5f5 Add support for bayesian networks defined in an UAI file format 2013-01-07 22:17:05 +00:00
Tiago Gomes
82a4cc508b Change burglary-alarm.uai to be bayes instead of markov 2013-01-07 22:01:49 +00:00
Tiago Gomes
bafd7320a5 Rework a bit the examples 2013-01-07 14:59:51 +00:00
Tiago Gomes
91dbd60ad4 Allow calling set_horus_flag/2 without loading clpbn_horus 2013-01-07 14:05:56 +00:00
Tiago Gomes
96f4e7ea1b Fix typo 2013-01-07 14:04:44 +00:00
David Vaz
cdc15e8cd8 merge with yap-6.3 2013-01-06 20:09:48 +00:00
Tiago Gomes
ec2d9e0967 Trivial 2013-01-05 12:04:43 +00:00
Tiago Gomes
f0768e76f2 Improve Makefile 2013-01-05 01:02:19 +00:00
Tiago Gomes
f55ccdef33 Add a manual for PFL written in Latex 2013-01-05 00:49:39 +00:00
Tiago Gomes
c5a390460d Chanse use_logarithms default to true. 
Reasoning:
- In small networks, the use of logarithms is not noticed in terms of performance.
- In large networks, the chance to have a division by 0 is too high when not using logarithms.
 2013-01-04 19:48:31 +00:00
Tiago Gomes
f2682374fb Forgot to update the Makefile in the previous commit 2013-01-04 15:42:03 +00:00
Tiago Gomes
3347f0e676 Rename two examples 2013-01-03 23:44:30 +00:00
Tiago Gomes
d4d11cd4b4 Fix sprinkler probability order 2013-01-03 18:48:15 +00:00
Tiago Gomes
ea5dbe2bca Trivial 2013-01-03 18:26:12 +00:00
Tiago Gomes
d293c5e5a9 Trivial 2012-12-28 15:40:32 +00:00
Tiago Gomes
3363019c93 Remove unnecessary methods 2012-12-28 01:35:59 +00:00
Tiago Gomes
7d9af75c35 Improve solver flags 2012-12-27 23:21:32 +00:00
Tiago Gomes
d36b63ece3 Trivial 2012-12-27 22:29:20 +00:00
Tiago Gomes
c96496720b Trivial 2012-12-27 22:28:19 +00:00
Tiago Gomes
485c3e34b2 Use more DISALLOW_COPY_AND_ASSIGN 2012-12-27 22:25:45 +00:00
Tiago Gomes
7b7f663ac6 Don't use public members for solver flags 2012-12-27 15:44:40 +00:00
Tiago Gomes
b996436b24 Reorganize 2012-12-27 15:05:40 +00:00
Tiago Gomes
de0a118ae5 Move belief propagation stuff out from Horus.h 2012-12-27 15:00:30 +00:00
Tiago Gomes
cbea630fbf Cosmetic fixes 2012-12-27 12:54:58 +00:00
David Vaz
e6c2fa30ee Added uthash to store indexed predicates info 2012-12-27 12:11:14 +00:00
Tiago Gomes
8bdcb65907 Improve variable elimination 2012-12-26 22:55:48 +00:00
Tiago Gomes
188f359496 Fix a warning about a unitialized var 2012-12-26 21:48:05 +00:00
Tiago Gomes
d8c5725b2e This shouldn't be on the repository 2012-12-21 15:20:28 +00:00
Tiago Gomes
4b901d26d7 Improve error messages 2012-12-20 23:34:53 +00:00
Tiago Gomes
01d8f8e178 More whitespace cleanups 2012-12-20 23:19:10 +00:00
Vítor Santos Costa
3565a01f1e upstream 2012-12-20 21:41:06 +00:00
Tiago Gomes
421d6f72ee Place the constructor on the right place 2012-12-20 21:32:40 +00:00
Vitor Santos Costa
4098b9b964 fix compilation MT in win32 2012-12-20 21:15:01 +00:00
Tiago Gomes
57339760b9 Merge LiftedKc and LiftedCircuit in one file 2012-12-20 21:11:51 +00:00
Tiago Gomes
b44ed7db39 Improve the error messages 2012-12-20 18:07:50 +00:00
Tiago Gomes
685f46dc27 Fix 2012-12-20 17:41:52 +00:00
Tiago Gomes
053fa31bb2 Exit is better than abort. 
Also use a macro instead of integer to indicate failure.
 2012-12-20 17:37:59 +00:00
David Vaz
4efa594f0a UDI: more work 2012-12-20 17:13:30 +00:00
Tiago Gomes
2ca31ca14a Don't abort if opening a file to export to graphviz fails 2012-12-20 17:11:11 +00:00
Tiago Gomes
af8497af6e Sort the logical vars of the constraint tree when exporting to graphviz 2012-12-20 16:20:38 +00:00
David Vaz
a655c0bb51 Rtree working as a plugin in UDI 2012-12-20 10:21:55 +00:00
Tiago Gomes
046af409ba Change the default solver to be hve 2012-12-19 18:25:47 +00:00
Tiago Gomes
c407594146 Whitespace clean 2012-12-19 18:22:47 +00:00
Tiago Gomes
60ff9daafd Remove old example 2012-12-19 18:13:47 +00:00
Tiago Gomes
48254ba7d7 Lkc: fix some memory leaks 2012-12-19 17:45:53 +00:00
Tiago Gomes
2d1f5edc91 There is no more to do 2012-12-18 23:52:56 +00:00
Tiago Gomes
691188d5c9 Handle better formulas like f(X,X) 2012-12-18 23:51:51 +00:00
Tiago Gomes
0a661b0462 More cleanups 2012-12-18 22:47:43 +00:00
David Vaz
43e459b8f8 Changes Rtree so almost working 2012-12-18 18:26:59 +00:00
Tiago Gomes
4b0acbf8c1 Cleanups 2012-12-18 12:11:45 +00:00
Tiago Gomes
c7a4adcefb Fix finalizing horus ground solvers on EM 2012-12-17 23:59:52 +00:00
Tiago Gomes
5fa5dda579 Remove BP from clpbn interface to EM 2012-12-17 23:29:21 +00:00
Tiago Gomes
e1c862ebbe Refactor the way we set the inference solver 2012-12-17 23:14:54 +00:00
Tiago Gomes
f1499f99f3 Introduce set_em_solver and use it 2012-12-17 21:19:47 +00:00
Tiago Gomes
40a72a0a63 Improve error handling for choosing EM solver 2012-12-17 21:03:13 +00:00
David Vaz
8511e87e32 packages udi as module 2012-12-17 20:29:59 +00:00
David Vaz
bd25c61fbf New work on UDI 2012-12-17 20:23:03 +00:00
Tiago Gomes
9861f4aadb Is the EM solver that we want 2012-12-17 18:50:36 +00:00
Tiago Gomes
3eb6b76ddd Whitespace clean 2012-12-17 18:39:42 +00:00
Tiago Gomes
2f2f88e571 Several whitespace fixes 2012-12-17 17:57:00 +00:00
Tiago Gomes
409a230826 Use the same convetion for module import and export 2012-12-17 14:50:12 +00:00
Tiago Gomes
2738c0fb56 Use tabs instead of spaces for consistency 2012-12-17 12:13:08 +00:00
Tiago Gomes
d03ea1509e Trivial 2012-12-17 11:56:15 +00:00
Tiago Gomes
e35cf51476 Reorders and some reindentation 2012-12-17 11:53:57 +00:00
Tiago Gomes
9ff9be2f49 Don't pass around the Solver for EM 2012-12-15 16:11:03 +00:00
Tiago Gomes
81ac6f1913 Don't pass around the Solver in run_horus_ground_solver 2012-12-15 15:56:05 +00:00
Tiago Gomes
ea931f2f93 Comment 2012-12-15 00:41:00 +00:00
Tiago Gomes
55292ab745 Clean ups and don't forget cbp 2012-12-15 00:29:03 +00:00
Tiago Gomes
1174486576 VE??? 2012-12-15 00:16:06 +00:00
Tiago Gomes
2996a0b8b3 Comment does not apply 2012-12-15 00:14:45 +00:00
Tiago Gomes
e5479ff17c CLPBNs first, PFLs next 2012-12-15 00:13:53 +00:00
Tiago Gomes
6c95c50eb4 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-12-14 14:05:22 +00:00
Vitor Santos Costa
84b0529060 improve prism compatibility (fix asia). 2012-12-14 08:26:56 +00:00
Tiago Gomes
971b8b7487 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-12-13 23:48:16 +00:00
Tiago Gomes
eea7ce2885 Fix file names 2012-12-13 19:02:04 +00:00
Tiago Gomes
0594d43539 Cosmetic fixes 2012-12-13 17:51:43 +00:00
Tiago Gomes
05e53eaf37 Merge sch32 and school32_data and rename to school_32 2012-12-13 17:08:54 +00:00
Tiago Gomes
6b8301d9c4 CLP(BN) is dead. Long live the PFL 2012-12-13 17:04:14 +00:00
Tiago Gomes
d78baa48a1 Don't special case the tables in city.pfl 
Its hard to make them work in lifted networks
:
 2012-12-13 16:50:39 +00:00
Vitor Santos Costa
c4448d066a allow backtracking over possible values of constraints.a 2012-12-13 15:53:01 +00:00
Tiago Gomes
8b996c5dc9 Lkc: show that we exported the circuit to graphviz when debugging 2012-12-13 14:21:16 +00:00
Tiago Gomes
48413deae7 Ops: deleted this by accident in the previous commit 2012-12-13 14:08:16 +00:00
Tiago Gomes
dd8a92aaf3 Merge with upstream code 2012-12-13 12:55:55 +00:00
Tiago Gomes
11e688ffd7 Lkc: use utility function 2012-12-12 21:19:22 +00:00
Tiago Gomes
f2173d001e Lkc: fix bug when adding weights 2012-12-12 21:16:36 +00:00
Tiago Gomes
c7588c9361 Trivial 2012-12-12 17:03:11 +00:00
Tiago Gomes
4683d30d8e Trivial 2012-12-12 17:01:30 +00:00
Tiago Gomes
39bf95fe2b trivial 2012-12-12 16:28:18 +00:00
Tiago Gomes
8eb657aec2 Change extension of school parschema to pfl 2012-12-12 16:00:21 +00:00
Tiago Gomes
0f46c97481 Trivial 2012-12-12 15:47:09 +00:00
Tiago Gomes
e66ff6777c Be consistent: constraint is always on top 2012-12-12 15:41:41 +00:00
Tiago Gomes
66cd58655b Place the debug_school predicate into a different file 2012-12-12 15:36:38 +00:00
Tiago Gomes
01dfc5e2be Change extension of school_params 
school_params does not define any pfl network, so it shouldn't have pfl as the extension
 2012-12-12 15:26:49 +00:00
Tiago Gomes
108e310a0f Rework the learning examples 2012-12-12 15:16:30 +00:00
Tiago Gomes
f128b6de7a school_32 should use clp(bn) 2012-12-12 00:27:32 +00:00
Tiago Gomes
27a235f65b Remove text explaning pfl. 
The text is badly written and explanaing pfl shouldn't be in *.pfl files, but rather in paper or README file
 2012-12-11 23:36:10 +00:00
Tiago Gomes
4310e42562 rework examples 2012-12-11 23:06:09 +00:00
Tiago Gomes
ccba2d4177 update Makefile to reflect the change of extension to .pfl 2012-12-11 21:02:26 +00:00
Tiago Gomes
1641d1fa30 Remove files that souldn't be in the repository 2012-12-11 16:22:38 +00:00
Tiago Gomes
47bc8f22fc Examples: sprinker was converted from clpbn to pfl 2012-12-11 16:20:55 +00:00
Tiago Gomes
d8a7b7aad6 Examples: change extension to pfl 2012-12-11 16:19:59 +00:00
Tiago Gomes
a59c152962 Lkc: Fix smoothing in atom counting nodes 2012-12-11 16:02:48 +00:00
Tiago Gomes
bb68afe91d Fix an error caused by a temporary being out of scope 2012-12-11 15:52:20 +00:00
Tiago Gomes
1d732594e2 smooth circuit 
Smooth the circuit independent of the verbosity level, but don't smooth it when the compilation has fail.
 2012-12-10 19:39:09 +00:00
Tiago Gomes
8371e395dd fix typo 2012-12-10 19:37:41 +00:00
Tiago Gomes
a25f4584c8 support printing LitLvTypes objects 2012-12-10 18:48:54 +00:00
Tiago Gomes
9c8827c309 always copy clauses for backup 2012-12-09 22:57:39 +00:00
Tiago Gomes
90736156ae some clean ups 2012-12-09 22:13:58 +00:00
Tiago Gomes
e46d2177b7 rework a bit the test infrastructure for lkc 2012-12-09 22:04:33 +00:00
Tiago Gomes
907144db32 don't use a stack for atom counting operator 2012-12-09 19:46:14 +00:00
Tiago Gomes
57a31c2c36 fix showing the weights on edge labels when there is a SetOrNode ancestor 2012-12-09 17:33:36 +00:00
Tiago Gomes
59f653aabd move implementation of copyClauses to another file 2012-12-08 19:32:19 +00:00
Tiago Gomes
4edbcf86b8 Use pointers to refer to clauses for better performance 2012-12-08 19:17:19 +00:00
Vítor Santos Costa
354dbbf802 follow pldoc 2012-12-08 10:52:39 +00:00
Tiago Gomes
73b3594c97 lifted kc: when not debuging don't keep track of the origin clauses 2012-12-07 11:47:50 +00:00
Vitor Santos Costa
b98b09e7de improve utf-8 2012-12-07 08:10:21 +00:00
Vitor Santos Costa
a813a13412 mysqldb interface vs Prolog 2012-12-04 14:49:29 +00:00
Vitor Santos Costa
36ae500118 fixes 2012-12-03 12:39:25 +00:00
Vítor Santos Costa
d9d954abe1 fix handling of methods and classes with named objects: just use PyObject_Call() 2012-12-02 13:19:10 +00:00
Vitor Santos Costa
3c0e16030c imprive python interface 2012-12-01 14:28:25 +00:00
Tiago Gomes
ee1b7dcd21 abort when compilation failed 2012-11-27 16:54:02 +00:00
Vitor Santos Costa
683032432c more examples 2012-11-27 13:50:18 +00:00
Vítor Santos Costa
e529e79582 more progress 2012-11-27 12:10:41 +00:00
Vitor Santos Costa
f1874ecec0 inprove python interface. 2012-11-27 00:16:34 +00:00
Tiago Gomes
610e55a4a2 Improve debbuging for lifted knowledge compilation 2012-11-26 14:46:45 +00:00
Tiago Gomes
1f1d194326 remove unnecessary std set 2012-11-26 14:46:00 +00:00
Tiago Gomes
a2429a1eec Merge branch 'master' of github.com:tacgomes/yap6.3 2012-11-26 11:48:24 +00:00
Vítor Santos Costa
57ac65c83b new swi version. 2012-11-25 23:48:41 +00:00
Vítor Santos Costa
e470dfcdc7 more python stuff. 2012-11-25 23:37:28 +00:00
Vitor Santos Costa
d5b97ac15e quoting. 2012-11-24 12:23:00 +00:00
Tiago Gomes
e09c25bd59 remove grounding stub form lifted knowledge compilation. its hard to implement 2012-11-22 16:34:24 +00:00
Tiago Gomes
4afe6c8161 refactor horus_ground and horus_lifted 2012-11-22 16:33:22 +00:00
Tiago Gomes
992d06656d refactor horus_ground.yap 2012-11-22 15:54:30 +00:00
Vitor Santos Costa
027632456a Merge branch 'master' of https://github.com/tacgomes/yap6.3 2012-11-22 12:29:37 +00:00
Vitor Santos Costa
bb4d75f428 avoid messing up lifted solvers 2012-11-22 12:27:33 +00:00
Tiago Gomes
85db763d9c small improvement in HorusYap 2012-11-16 22:38:14 +00:00
Tiago Gomes
51eef45b2d refactor HorusYap 2012-11-16 17:10:04 +00:00
Tiago Gomes
59fd21bf33 use only 1 lifted solver instance 2012-11-16 16:50:19 +00:00
Tiago Gomes
c2791748d2 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-11-16 00:57:41 +00:00
Vitor Santos Costa
114a6732f0 add_factor should succeed if Constraints are satisfied 2012-11-15 17:28:57 +00:00
Tiago Gomes
51fd48cd46 Ouchgit statusgit status! forgot to add these to index 2012-11-14 23:17:39 +00:00
Tiago Gomes
4522850cd6 one step close to use one solver instatiation to solve several queries 2012-11-14 23:13:46 +00:00
Tiago Gomes
b673dfd462 fix type in an example 2012-11-14 23:12:03 +00:00
Tiago Gomes
64a27847cc Introduce a lifted solver class 2012-11-14 21:55:51 +00:00
Tiago Gomes
6e7d0d1d0a remove old TODOs 2012-11-14 21:17:04 +00:00
Tiago Gomes
cad22da9f5 fixes & cleanups 2012-11-14 21:05:55 +00:00
Tiago Gomes
d9e48e6290 log domain calculations fixes for lifted knowledge compilation 2012-11-14 18:40:03 +00:00
Vitor Santos Costa
416b407faa fixes i r..eal 2012-11-14 16:00:35 +00:00
Tiago Gomes
9202e286f8 IncExc: check if log vars are count normalized 2012-11-14 14:43:56 +00:00
Tiago Gomes
f5c85ffcc9 shatter agains the query in lifted knowledge compilation 2012-11-12 15:20:42 +00:00
Tiago Gomes
4776817603 move more code around 2012-11-10 00:18:20 +00:00
Tiago Gomes
07bcc89a76 factor out some lifted operations in a new class 2012-11-09 23:52:35 +00:00
Tiago Gomes
8ab622e0aa more work to support inference with lifted knowledge compilation 2012-11-09 18:42:21 +00:00
Tiago Gomes
c53220aa61 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-11-09 16:29:24 +00:00
Tiago Gomes
6a200760ca initial code to support calling a lifted knowledge compilation solver 2012-11-08 21:54:47 +00:00
Tiago Gomes
0ed89d3eeb add flag to lifted knowledge compilation and s/fove/lve 2012-11-08 15:05:48 +00:00
Tiago Gomes
a8c4f4fc52 fix one more TODO 2012-11-08 14:02:18 +00:00
Tiago Gomes
f7db522c6c InxExc: improve the code 2012-11-07 23:45:43 +00:00
Tiago Gomes
6db4d37684 Independence: consider also counted log vars 2012-11-07 21:21:42 +00:00
Tiago Gomes
d2ae171bb5 Improve Clause constructor 2012-11-07 18:43:13 +00:00
Tiago Gomes
278f8f77f5 Improve independence 2012-11-07 18:42:11 +00:00
Tiago Gomes
07c6509a79 cleanups, refactorings & renamings 2012-11-07 15:28:33 +00:00
Tiago Gomes
83c1e58674 clean ups 2012-11-07 12:37:22 +00:00
Tiago Gomes
b599b45bc6 AC: only allow one counting node per branch 2012-11-06 23:56:52 +00:00
Tiago Gomes
829f2248ee use utility method 2012-11-06 23:39:18 +00:00
Tiago Gomes
06a59ad659 IPG: verify that the root log vars appear in the same positions 2012-11-06 23:35:14 +00:00
Tiago Gomes
1e38743462 fix ipgCandidates 2012-11-06 16:24:59 +00:00
Tiago Gomes
869d513c1a remove and add some TODOs 2012-11-06 15:57:54 +00:00
Tiago Gomes
5e1547ba78 add missing method to TinySet 2012-11-06 15:15:55 +00:00
Tiago Gomes
ab334f82b2 fix weighted model counting in atom counting nodes 2012-11-06 14:16:04 +00:00
Vítor Santos Costa
06b915d568 more functionality 2012-11-05 13:49:15 +00:00
Tiago Gomes
4518a3db5d support smoothing on atom counting nodes (beta) 2012-11-04 18:02:40 +00:00
Vítor Santos Costa
eb63f30ab2 update version 2012-11-03 13:58:20 +00:00
Vítor Santos Costa
bf956ca639 python interface as a separate package 2012-11-02 22:37:27 +00:00
Tiago Gomes
b8cef8798a fix warning produced by new version of gcc 2012-11-01 22:54:14 +00:00
Tiago Gomes
a1d0deb638 support model counting on atom couting nodes - still untested 2012-11-01 22:34:28 +00:00
Tiago Gomes
d4912ea219 some reorders 2012-11-01 13:56:12 +00:00
Vitor Santos Costa
afc0c4c5a2 new version 2012-11-01 08:31:58 +00:00
Tiago Gomes
bfa9648067 clean up 2012-10-31 23:58:07 +00:00