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
|
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
|
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
|
206cf0a9c7
|
Trivial
|
2013-02-08 00:20:01 +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
|
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
|
42a5bc493a
|
Move methods with more than two lines to outside of class definition
|
2013-02-06 00:29:03 +00:00 |
|
Tiago Gomes
|
485c3e34b2
|
Use more DISALLOW_COPY_AND_ASSIGN
|
2012-12-27 22:25:45 +00:00 |
|
Tiago Gomes
|
cbea630fbf
|
Cosmetic fixes
|
2012-12-27 12:54:58 +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
|
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
|
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
|
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
|
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
|
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
|
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 |
|