Tiago Gomes
2da7249247
Trivial
2013-03-09 17:14:00 +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
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
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
Tiago Gomes
57f46e7c0d
Fix printed string showed when file opening fails
2013-02-13 19:18:55 +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
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
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
0d9d59f5fe
Trivial
2013-01-25 13:58:30 +00:00
Tiago Gomes
bef65dac57
Fix a compilation error with older versions of GCC
2013-01-25 13:47:20 +00:00
Tiago Gomes
cbea630fbf
Cosmetic fixes
2012-12-27 12:54:58 +00:00
Tiago Gomes
188f359496
Fix a warning about a unitialized var
2012-12-26 21:48:05 +00:00
Tiago Gomes
01d8f8e178
More whitespace cleanups
2012-12-20 23:19:10 +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
053fa31bb2
Exit is better than abort.
...
Also use a macro instead of integer to indicate failure.
2012-12-20 17:37:59 +00:00
Tiago Gomes
ee1b7dcd21
abort when compilation failed
2012-11-27 16:54:02 +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
64a27847cc
Introduce a lifted solver class
2012-11-14 21:55:51 +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
Tiago Gomes
f5c85ffcc9
shatter agains the query in lifted knowledge compilation
2012-11-12 15:20:42 +00:00
Tiago Gomes
8ab622e0aa
more work to support inference with lifted knowledge compilation
2012-11-09 18:42:21 +00:00
Tiago Gomes
6a200760ca
initial code to support calling a lifted knowledge compilation solver
2012-11-08 21:54:47 +00:00
