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
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
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
