diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages/CLPBN/horus
History
Tiago Gomes 8b996c5dc9 Lkc: show that we exported the circuit to graphviz when debugging
2012-12-13 14:21:16 +00:00
..
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: show that we exported the circuit to graphviz when debugging
2012-12-13 14:21:16 +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
Lkc: fix bug when adding weights
2012-12-12 21:16:36 +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