print.cpp File Reference

#include <stdlib.h>
#include "dbm/fed.h"
#include "dbm/print.h"
#include "dbm/dbm.h"
#include "io/FileStreamBuffer.h"
#include "base/bitstring.h"
#include "debug/macros.h"
#include "debug/new.h"
#include "dbm/dbmfederation.h"

Namespaces
namespace	dbm
Defines
#define	DBM(I, J)   dbm[(I)*dim+(J)]
#define	SRC(I, J)   src[(I)*dim+(J)]
#define	DST(I, J)   dst[(I)*dim+(J)]
#define	ASSERT_DIAG_OK(DBM, DIM)   ASSERT(dbm_isDiagonalOK(DBM,DIM), dbm_print(stderr, DBM, DIM))
#define	ASSERT_NOT_EMPTY(DBM, DIM)   ASSERT(!dbm_debugIsEmpty(DBM, DIM), dbm_print(stderr, DBM, DIM))
#define	OUT2OS()
#define	PRE_DIFF()   if (diff) out << RED(BOLD)
#define	POST_DIFF()   if (diff) out << NORMAL
Functions
std::ostream &	operator<< (std::ostream &os, const constraint_t &c)
	Operator overload.
std::ostream &	dbm_cppPrint (std::ostream &out, const raw_t *dbm, cindex_t dim)
	Pretty print of a DBM.
void	dbm_print (FILE *out, const raw_t *dbm, cindex_t dim)
	Pretty print of a DBM.
std::ostream &	dbm_cppPrintDiff (std::ostream &out, const raw_t *src, const raw_t *dst, cindex_t dim)
	Pretty print of the difference between 2 DBMs: prints 2 DBMS with the difference in color.
void	dbm_printDiff (FILE *out, const raw_t *src, const raw_t *dst, cindex_t dim)
	Pretty print of the difference between 2 DBMs: prints 2 DBMS with the difference in color.
std::ostream &	dbm_cppPrintCloseDiff (std::ostream &out, const raw_t *dbm, cindex_t dim)
	Pretty print of the difference between a DBM and its closure: shows the updates that will be done by the closure.
void	dbm_printCloseDiff (FILE *out, const raw_t *dbm, cindex_t dim)
	Pretty print of the difference between a DBM and its closure: shows the updates that will be done by the closure.
std::ostream &	dbm_cppPrintRaw (std::ostream &out, raw_t c)
	Pretty print of one clock constraint.
void	dbm_printRaw (FILE *out, raw_t c)
	Pretty print of one clock constraint.
std::ostream &	dbm_cppPrintBound (std::ostream &out, int32_t bound)
	Pretty print of one clock bound.
void	dbm_printBound (FILE *out, int32_t bound)
	Pretty print of one clock bound.
std::ostream &	dbm_cppPrintRaws (std::ostream &out, const raw_t *data, size_t size)
	Print a vector of constraints.
void	dbm_printRaws (FILE *out, const raw_t *data, size_t size)
	Print a vector of constraints.
std::ostream &	dbm_cppPrintBounds (std::ostream &out, const int32_t *data, size_t size)
	Print a vector of bounds.
void	dbm_printBounds (FILE *out, const int32_t *data, size_t size)
	Print a vector of bounds.
std::ostream &	dbm_cppPrintConstraints (std::ostream &out, const constraint_t *c, size_t n)
	Print constraints.
void	dbm_printConstraints (FILE *out, const constraint_t *c, size_t n)
	Print constraints.
std::ostream &	dbm_cppPrintFederation (std::ostream &out, const DBMList_t *dbmList, cindex_t dim)
	Pretty print of a DBM federation.
void	dbm_printFederation (FILE *out, const DBMList_t *dbmList, cindex_t dim)
	Pretty print of a federation.

---

Define Documentation

#define ASSERT_DIAG_OK (  DBM, DIM   )     ASSERT(dbm_isDiagonalOK(DBM,DIM), dbm_print(stderr, DBM, DIM))

#define ASSERT_NOT_EMPTY (  DBM, DIM   )     ASSERT(!dbm_debugIsEmpty(DBM, DIM), dbm_print(stderr, DBM, DIM))

#define DBM (  I, J   )     dbm[(I)*dim+(J)]

#define DST (  I, J   )     dst[(I)*dim+(J)]

#define OUT2OS (   )

Value: io::FileStreamBuffer fsb(out);\ std::ostream os(&fsb)

#define POST_DIFF (   )     if (diff) out << NORMAL

#define PRE_DIFF (   )     if (diff) out << RED(BOLD)

#define SRC (  I, J   )     src[(I)*dim+(J)]

---

Function Documentation

std::ostream& dbm_cppPrint (  std::ostream &  out, const raw_t *  dbm, cindex_t  dim )

Pretty print of a DBM. Parameters: dbm,:  DBM. dim,:  dimension. out,:  output stream.

std::ostream& dbm_cppPrintBound (  std::ostream &  out, int32_t  b )

Pretty print of one clock bound. Parameters: out,:  output stream. b,:  the decoded bound.

std::ostream& dbm_cppPrintBounds (  std::ostream &  out, const int32_t *  data, size_t  size )

Print a vector of bounds. Parameters: data,:  the vector of bounds. size,:  size of the vector. out,:  where to print. Precondition: data is a int32_t[size]

std::ostream& dbm_cppPrintCloseDiff (  std::ostream &  out, const raw_t *  dbm, cindex_t  dim )

Pretty print of the difference between a DBM and its closure: shows the updates that will be done by the closure. Parameters: out,:  output stream. dbm,:  the DBM. dim,:  dimension.

std::ostream& dbm_cppPrintConstraints (  std::ostream &  out, const constraint_t *  c, size_t  n )

Print constraints. Parameters: c,:  constraints to print. n,:  number of constraints

std::ostream& dbm_cppPrintDiff (  std::ostream &  out, const raw_t *  dbm1, const raw_t *  dbm2, cindex_t  dim )

Pretty print of the difference between 2 DBMs: prints 2 DBMS with the difference in color. If color printing is desactivated then the differences are marked with *. Parameters: dbm1,dbm2,:  DBMs. dim,:  dimension. out,:  output stream. Precondition: same dimension for both DBMs.

std::ostream& dbm_cppPrintFederation (  std::ostream &  out, const DBMList_t *  dbmList, cindex_t  dim )

Pretty print of a DBM federation. Parameters: dbmList,:  list of DBMs to print. dim,:  dimension of all the DBMs. out,:  output stream.

std::ostream& dbm_cppPrintRaw (  std::ostream &  out, raw_t  c )

Pretty print of one clock constraint. Parameters: out,:  output stream. c,:  the encoded constraint.

std::ostream& dbm_cppPrintRaws (  std::ostream &  out, const raw_t *  data, size_t  size )

Print a vector of constraints. Parameters: data,:  the vector of constraints size,:  size of the vector. out,:  where to print. Precondition: data is a int32_t[size]

void dbm_print (  FILE *  out, const raw_t *  dbm, cindex_t  dim )

Pretty print of a DBM. Parameters: dbm,:  DBM. dim,:  dimension. out,:  output stream.

void dbm_printBound (  FILE *  out, int32_t  b )

Pretty print of one clock bound. Parameters: out,:  output stream. b,:  the decoded bound.

void dbm_printBounds (  FILE *  out, const int32_t *  data, size_t  size )

Print a vector of bounds. Parameters: data,:  the vector of bounds. size,:  size of the vector. out,:  where to print. Precondition: data is a int32_t[size]

void dbm_printCloseDiff (  FILE *  out, const raw_t *  dbm, cindex_t  dim )

Pretty print of the difference between a DBM and its closure: shows the updates that will be done by the closure. Parameters: out,:  output stream. dbm,:  the DBM. dim,:  dimension.

void dbm_printConstraints (  FILE *  out, const constraint_t *  c, size_t  n )

Print constraints. Parameters: n,:  number of constraints to print. c,:  constraint. out,:  where to print.

void dbm_printDiff (  FILE *  out, const raw_t *  dbm1, const raw_t *  dbm2, cindex_t  dim )

Pretty print of the difference between 2 DBMs: prints 2 DBMS with the difference in color. If color printing is desactivated then the differences are marked with *. Parameters: dbm1,dbm2,:  DBMs. dim,:  dimension. out,:  output stream. Precondition: same dimension for both DBMs.

void dbm_printFederation (  FILE *  out, const DBMList_t *  dbmList, cindex_t  dim )

Pretty print of a federation. Parameters: dbmList,:  list of DBMs. dim,:  dimension of all the DBMs. out,:  output stream.

void dbm_printRaw (  FILE *  out, raw_t  c )

Pretty print of one clock constraint. Parameters: out,:  output stream. c,:  the encoded constraint.

void dbm_printRaws (  FILE *  out, const raw_t *  data, size_t  size )

Print a vector of constraints. Parameters: data,:  the vector of constraints size,:  size of the vector. out,:  where to print. Precondition: data is a int32_t[size]

std::ostream& operator<< (  std::ostream &  os, const constraint_t &  c )

Operator overload. Parameters: c,:  constraint to print.

---