| .. |
|
BayesBall.cpp
|
some renamings
|
2012-06-19 14:32:12 +01:00 |
|
BayesBall.h
|
whitespace fixes
|
2012-06-19 15:30:55 +01:00 |
|
BayesBallGraph.cpp
|
some renamings
|
2012-06-19 14:32:12 +01:00 |
|
BayesBallGraph.h
|
minor improvements
|
2012-06-19 15:29:09 +01:00 |
|
BeliefProp.cpp
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
BeliefProp.h
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
ConstraintTree.cpp
|
first stab for atom counting
|
2012-10-31 23:43:39 +00:00 |
|
ConstraintTree.h
|
first stab for atom counting
|
2012-10-31 23:43:39 +00:00 |
|
CountingBp.cpp
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
CountingBp.h
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
ElimGraph.cpp
|
re-enable all elimination heuristics
|
2012-07-02 22:53:44 +01:00 |
|
ElimGraph.h
|
re-enable all elimination heuristics
|
2012-07-02 22:53:44 +01:00 |
|
Factor.cpp
|
rename CutIndexer to MapIndexer
|
2012-05-28 12:32:15 +01:00 |
|
Factor.h
|
fix bug in Factor::contains
|
2012-06-01 14:03:39 +01:00 |
|
FactorGraph.cpp
|
some renamings
|
2012-06-19 14:32:12 +01:00 |
|
FactorGraph.h
|
some renamings
|
2012-06-19 14:32:12 +01:00 |
|
GroundSolver.cpp
|
Ouchgit statusgit status! forgot to add these to index
|
2012-11-14 23:17:39 +00:00 |
|
GroundSolver.h
|
Ouchgit statusgit status! forgot to add these to index
|
2012-11-14 23:17:39 +00:00 |
|
Histogram.cpp
|
size_t invasion
|
2012-05-24 22:55:20 +01:00 |
|
Histogram.h
|
size_t invasion
|
2012-05-24 22:55:20 +01:00 |
|
Horus.h
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
HorusCli.cpp
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
HorusYap.cpp
|
small improvement in HorusYap
|
2012-11-16 22:38:14 +00:00 |
|
Indexer.h
|
use more Util::sizeExpected
|
2012-05-28 21:27:52 +01:00 |
|
LiftedBp.cpp
|
one step close to use one solver instatiation to solve several queries
|
2012-11-14 23:13:46 +00:00 |
|
LiftedBp.h
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
LiftedCircuit.cpp
|
Lkc: Fix smoothing in atom counting nodes
|
2012-12-11 16:02:48 +00:00 |
|
LiftedCircuit.h
|
don't use a stack for atom counting operator
|
2012-12-09 19:46:14 +00:00 |
|
LiftedKc.cpp
|
abort when compilation failed
|
2012-11-27 16:54:02 +00:00 |
|
LiftedKc.h
|
one step close to use one solver instatiation to solve several queries
|
2012-11-14 23:13:46 +00:00 |
|
LiftedOperations.cpp
|
IncExc: check if log vars are count normalized
|
2012-11-14 14:43:56 +00:00 |
|
LiftedOperations.h
|
move more code around
|
2012-11-10 00:18:20 +00:00 |
|
LiftedSolver.h
|
Ouchgit statusgit status! forgot to add these to index
|
2012-11-14 23:17:39 +00:00 |
|
LiftedUtils.cpp
|
prefix is better than postfix
|
2012-05-28 14:12:18 +01:00 |
|
LiftedUtils.h
|
size_t invasion
|
2012-05-24 22:55:20 +01:00 |
|
LiftedVe.cpp
|
one step close to use one solver instatiation to solve several queries
|
2012-11-14 23:13:46 +00:00 |
|
LiftedVe.h
|
one step close to use one solver instatiation to solve several queries
|
2012-11-14 23:13:46 +00:00 |
|
LiftedWCNF.cpp
|
support printing LitLvTypes objects
|
2012-12-10 18:48:54 +00:00 |
|
LiftedWCNF.h
|
fix typo
|
2012-12-10 19:37:41 +00:00 |
|
Makefile.in
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
Parfactor.cpp
|
fix joint calculation with lifted bp
|
2012-06-14 11:57:00 +01:00 |
|
Parfactor.h
|
fix joint calculation with lifted bp
|
2012-06-14 11:57:00 +01:00 |
|
ParfactorList.cpp
|
one step close to use one solver instatiation to solve several queries
|
2012-11-14 23:13:46 +00:00 |
|
ParfactorList.h
|
one step close to use one solver instatiation to solve several queries
|
2012-11-14 23:13:46 +00:00 |
|
ProbFormula.cpp
|
use PrvGroup
|
2012-05-24 23:38:44 +01:00 |
|
ProbFormula.h
|
fix joint calculation with lifted bp
|
2012-06-14 11:57:00 +01:00 |
|
TinySet.h
|
add missing method to TinySet
|
2012-11-06 15:15:55 +00:00 |
|
TODO
|
remove old TODOs
|
2012-11-14 21:17:04 +00:00 |
|
Util.cpp
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
Util.h
|
use bind2nd instead of bind1st
|
2012-05-31 12:19:13 +01:00 |
|
Var.cpp
|
size_t invasion
|
2012-05-24 22:55:20 +01:00 |
|
Var.h
|
fix header guard
|
2012-05-28 16:59:41 +01:00 |
|
VarElim.cpp
|
drop Solver suffix and rename some files and classes
|
2012-06-12 16:29:57 +01:00 |
|
VarElim.h
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
WeightedBp.cpp
|
watch out for division by 0 in message calculation for BP
|
2012-09-30 22:04:44 +01:00 |
|
WeightedBp.h
|
drop Solver suffix and rename some files and classes
|
2012-06-12 16:29:57 +01:00 |
