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.

Tiago Gomes 9e1a649262 raising the paramaters to some power should happen after summing out, not before

2012-04-27 14:47:30 +01:00

..

benchmarks

add missing scripts

2012-04-18 13:53:34 +01:00

examples

update examples

2012-04-18 02:57:24 +01:00

BayesBall.cpp

assign evidence to the pruned factor graph

2012-04-16 21:40:28 +01:00

BayesBall.h

renamings and delete bn_bp stuff

2012-04-05 23:00:48 +01:00

BayesNet.cpp

drop bayesian network representation

2012-04-05 20:08:54 +01:00

BayesNet.h

minor updates

2012-04-18 03:03:29 +01:00

BpSolver.cpp

improve cbp by supporting factors connected to a single var two or more times

2012-04-26 00:54:06 +01:00

BpSolver.h

improve cbp by supporting factors connected to a single var two or more times

2012-04-26 00:54:06 +01:00

CbpSolver.cpp

remove unnecessary variable

2012-04-26 00:58:06 +01:00

CbpSolver.h

remove unnecessary variable

2012-04-26 00:58:06 +01:00

CFactorGraph.cpp

improve cbp by supporting factors connected to a single var two or more times

2012-04-26 00:54:06 +01:00

CFactorGraph.h

improve cbp by supporting factors connected to a single var two or more times

2012-04-26 00:54:06 +01:00

ConstraintTree.cpp

fix bug in joining constraint trees

2012-04-18 18:14:15 +01:00

ConstraintTree.h

several optimizations on ConstraintTree

2012-04-18 03:05:01 +01:00

ElimGraph.cpp

support setting flags in horus cli and fix a bug when ordering the variables

2012-04-21 17:14:19 +01:00

ElimGraph.h

support setting flags in horus cli and fix a bug when ordering the variables

2012-04-21 17:14:19 +01:00

Factor.cpp

improve cbp by supporting factors connected to a single var two or more times

2012-04-26 00:54:06 +01:00

Factor.h

Add a way to summout a dimension given a index instead of a variable id.

2012-04-25 22:59:01 +01:00

FactorGraph.cpp

improve cbp by supporting factors connected to a single var two or more times

2012-04-26 00:54:06 +01:00

FactorGraph.h

improve constructor of VarNode

2012-04-23 22:40:36 +01:00

FoveSolver.cpp

be more precise when calculating the cost of grounding a log var in a formula

2012-04-27 01:18:54 +01:00

FoveSolver.h

be more precise when calculating the cost of grounding a log var in a formula

2012-04-27 01:18:54 +01:00

Histogram.cpp

improvements in the way factorials are computed

2012-04-18 02:46:38 +01:00

Histogram.h

yay, my first commit

2012-03-31 23:27:37 +01:00

Horus.h

refactor the city benchmarks and introduce set_solver/1

2012-04-11 19:15:52 +01:00

HorusCli.cpp

support setting flags in horus cli and fix a bug when ordering the variables

2012-04-21 17:14:19 +01:00

HorusYap.cpp

support setting flags in horus cli and fix a bug when ordering the variables

2012-04-21 17:14:19 +01:00

Indexer.h

renamings and delete bn_bp stuff

2012-04-05 23:00:48 +01:00

LiftedUtils.cpp

fix align of logical variables

2012-04-03 11:58:21 +01:00

LiftedUtils.h

be more precise when calculating the cost of grounding a log var in a formula

2012-04-27 01:18:54 +01:00

Makefile.in

comment debug information in some prolog files

2012-04-12 18:35:29 +01:00

Parfactor.cpp

raising the paramaters to some power should happen after summing out, not before

2012-04-27 14:47:30 +01:00

Parfactor.h

fix align of logical variables

2012-04-03 11:58:21 +01:00

ParfactorList.cpp

update groups when shattering

2012-04-18 03:04:06 +01:00

ParfactorList.h

update groups when shattering

2012-04-18 03:04:06 +01:00

ProbFormula.cpp

be more precise when calculating the cost of grounding a log var in a formula

2012-04-27 01:18:54 +01:00

ProbFormula.h

be more precise when calculating the cost of grounding a log var in a formula

2012-04-27 01:18:54 +01:00

Solver.cpp

sort the variable ids when printing all posterioris

2012-04-23 22:12:04 +01:00

Solver.h

implement a printSolverParameters in ground solvers

2012-04-13 15:22:24 +01:00

TinySet.h

add more api to sorted vector implementation

2012-04-17 19:02:56 +01:00

TODO

rework the examples and erase the city network in the old format

2012-04-11 15:36:50 +01:00

Util.cpp

support setting flags in horus cli and fix a bug when ordering the variables

2012-04-21 17:14:19 +01:00

Util.h

support setting flags in horus cli and fix a bug when ordering the variables

2012-04-21 17:14:19 +01:00

Var.cpp

Improvements

2012-04-09 15:40:51 +01:00

Var.h

Improvements

2012-04-09 15:40:51 +01:00

VarElimSolver.cpp

support setting flags in horus cli and fix a bug when ordering the variables

2012-04-21 17:14:19 +01:00

VarElimSolver.h

implement a printSolverParameters in ground solvers

2012-04-13 15:22:24 +01:00