print.h File Reference

#include <stdio.h>
#include "dbm/constraints.h"
#include <iostream>

Go to the source code of this file.

Namespaces
namespace	dbm
Functions
std::ostream &	dbm_cppPrint (std::ostream &out, const raw_t *dbm, cindex_t dim)
	Pretty print of a DBM.
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.
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.
std::ostream &	dbm_cppPrintRaw (std::ostream &out, raw_t c)
	Pretty print of one clock constraint.
std::ostream &	dbm_cppPrintBound (std::ostream &out, int32_t b)
	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.
std::ostream &	dbm_cppPrintBounds (std::ostream &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.
std::ostream &	operator<< (std::ostream &os, const constraint_t &c)
	Operator overload.
std::ostream &	operator<< (std::ostream &os, const dbm::dbm_t &dbm)
	Operator overload.
std::ostream &	operator<< (std::ostream &os, const dbm::fed_t &fed)
	Operator overload.
void	dbm_print (FILE *out, const raw_t *dbm, cindex_t dim)
	Pretty print of a DBM.
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.
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.
void	dbm_printRaw (FILE *out, raw_t c)
	Pretty print of one clock constraint.
void	dbm_printBound (FILE *out, int32_t b)
	Pretty print of one clock bound.
void	dbm_printRaws (FILE *out, const raw_t *data, size_t size)
	Print a vector of constraints.
void	dbm_printBounds (FILE *out, const int32_t *data, size_t size)
	Print a vector of bounds.
void	dbm_printConstraints (FILE *out, const constraint_t *c, size_t n)
	Print constraints.

---

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_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_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 & dbm::operator<< (  std::ostream &  os, const dbm::fed_t &  fed )

Operator overload. Parameters: fed,:  federation to print.

std::ostream & dbm::operator<< (  std::ostream &  os, const dbm::dbm_t &  dbm )

Operator overload. Parameters: dbm,:  DBM to print.

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

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

---