17 Commits

Author	SHA1	Message	Date
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	77dfe50acb	LiftedVe: move internal classes to source file	2013-02-20 00:21:01 +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	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	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	4522850cd6	one step close to use one solver instatiation to solve several queries	2012-11-14 23:13:46 +00:00
Tiago Gomes	6e7d0d1d0a	remove old TODOs	2012-11-14 21:17:04 +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	0ed89d3eeb	add flag to lifted knowledge compilation and s/fove/lve	2012-11-08 15:05:48 +00:00
Tiago Gomes	384c108e62	fix joint calculation with lifted bp	2012-06-14 11:57:00 +01:00
Tiago Gomes	d4f63b3942	drop Solver suffix and rename some files and classes	2012-06-12 16:29:57 +01:00