Tiago Gomes
2da7249247
Trivial
2013-03-09 17:14:00 +00: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
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
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
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
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
3738d0b2c6
Move some things around. No functional changes
2013-02-07 22:37:45 +00:00
Tiago Gomes
5c84a2f532
Improve includes
2013-02-07 20:09:10 +00:00
Tiago Gomes
bb7a530da3
Avoid importing the std namespace
2013-02-07 13:37:15 +00:00
Tiago Gomes
cbea630fbf
Cosmetic fixes
2012-12-27 12:54:58 +00:00
Tiago Gomes
01d8f8e178
More whitespace cleanups
2012-12-20 23:19:10 +00:00
Tiago Gomes
48254ba7d7
Lkc: fix some memory leaks
2012-12-19 17:45:53 +00:00
Tiago Gomes
3eb6b76ddd
Whitespace clean
2012-12-17 18:39:42 +00:00
Tiago Gomes
f2173d001e
Lkc: fix bug when adding weights
2012-12-12 21:16:36 +00:00
Tiago Gomes
a25f4584c8
support printing LitLvTypes objects
2012-12-10 18:48:54 +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
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
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
cad22da9f5
fixes & cleanups
2012-11-14 21:05:55 +00:00
Tiago Gomes
8ab622e0aa
more work to support inference with lifted knowledge compilation
2012-11-09 18:42:21 +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
07c6509a79
cleanups, refactorings & renamings
2012-11-07 15:28:33 +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
ab334f82b2
fix weighted model counting in atom counting nodes
2012-11-06 14:16:04 +00:00
Tiago Gomes
4518a3db5d
support smoothing on atom counting nodes (beta)
2012-11-04 18:02:40 +00:00
Tiago Gomes
a1d0deb638
support model counting on atom couting nodes - still untested
2012-11-01 22:34:28 +00:00
Tiago Gomes
bfa9648067
clean up
2012-10-31 23:58:07 +00:00
Tiago Gomes
6877be897e
first stab for atom counting
2012-10-31 23:43:39 +00:00
Tiago Gomes
8b77b93a3b
add support for inclusion-exclusion
2012-10-30 00:21:10 +00:00
Tiago Gomes
324ea1a96c
make independent partial ground suck less
2012-10-29 20:49:21 +00:00
Tiago Gomes
d074ca9a8f
add initial independent partial grounding support
2012-10-27 00:13:11 +01:00
Tiago Gomes
68ef63207f
initial support for weighted model countign
2012-10-25 12:22:52 +01:00
Tiago Gomes
eac6b954a8
add inital smoothing of the circuit
2012-10-24 21:22:49 +01:00
Tiago Gomes
a8926fe38b
inital code for lifted knowledge compilation
2012-10-22 23:01:13 +01:00
