fed.cpp File Reference

#include <float.h>
#include <boost/bind.hpp>
#include "base/slist.h"
#include "base/bitstring.h"
#include "base/stats.h"
#include "dbm/mingraph.h"
#include "dbm/print.h"
#include "debug/macros.h"
#include "DBMAllocator.h"
#include "mingraph_coding.h"
#include "dbm.h"
#include "debug/new.h"

Namespaces
namespace	dbm
Defines
#define	CERR(S)
#define	RESTRICTED_MERGE
#define	IMPROVED_MERGE
#define	SUBTRACTION_ALGORITHM   3
#define	INC()
Functions
static int32_t	worstValue (const raw_t *dbm1, const raw_t *dbm2, cindex_t dim, cindex_t i, cindex_t j)
static dbmlist_t	internSubtract (fdbm_t *fdbm1, const raw_t *dbm2, cindex_t dim, const uint32_t *bits, size_t bitsSize, size_t nbConstraints)
static bool	fed_checkWeakAdd (raw_t cij, raw_t cji)
static double	fed_diff (double value, raw_t low)
static constraint_t	sat_collect (const fdbm_t *f, const constraint_t &c)
static void	sat_assert (fdbm_t *f, const constraint_t &c)

---

Define Documentation

#define CERR (  S   )

#define IMPROVED_MERGE

#define INC (   )

#define RESTRICTED_MERGE

#define SUBTRACTION_ALGORITHM   3

---

Function Documentation

static bool dbm::fed_checkWeakAdd (  raw_t  cij, raw_t  cji )  [inline, static]

static double dbm::fed_diff (  double  value, raw_t  low )  [inline, static]

static dbmlist_t dbm::internSubtract (  fdbm_t *  fdbm1, const raw_t *  dbm2, cindex_t  dim, const uint32_t *  bits, size_t  bitsSize, size_t  nbConstraints )  [static]

static void dbm::sat_assert (  fdbm_t *  f, const constraint_t &  c )  [inline, static]

static constraint_t dbm::sat_collect (  const fdbm_t *  f, const constraint_t &  c )  [inline, static]

static int32_t dbm::worstValue (  const raw_t *  dbm1, const raw_t *  dbm2, cindex_t  dim, cindex_t  i, cindex_t  j )  [static]

---