SDD.cpp File Reference

#include <string>
#include <iostream>
#include <vector>
#include "ddd/util/set.hh"
#include <map>
#include <sstream>
#include <cassert>
#include <typeinfo>
#include "ddd/SDED.h"
#include "ddd/SDD.h"
#include "ddd/UniqueTable.h"
#include "ddd/IntDataSet.h"
#include "ddd/DDD.h"
#include "ddd/SHom.h"
#include "ddd/util/hash_support.hh"
#include "ddd/util/ext_hash_map.hh"

Include dependency graph for SDD.cpp:

Classes
class	_GSDD
class	SddSize
class	MySDDNbStates

Namespaces
namespace	sns
namespace	SDDutil
	Namespace declared to hide these functions.

Functions
static bool	valsorter (const GSDD::Valuation::value_type &a, const GSDD::Valuation::value_type &b)
UniqueTable< _GSDD > *	SDDutil::getTable ()
	accessor to UniqueTable instance declared in cpp file, (hem, please don't touch it).
void	SDDutil::foreachTable (void(*foo)(const GSDD &g))
	Iterator over the entries of the table, applies foo to each entry in the table.
const _GShom *	sns::getIdentity ()
std::ostream &	operator<< (std::ostream &os, const GSDD &g)
	Textual output of SDD into a stream in (relatively) human readable format.

Variables
static size_t	Max_SDD =0
static UniqueTable< _GSDD >	canonical
UniqueTable< _GShom >	sns::canonical

Function Documentation

operator<<()

std::ostream & operator<<	(	std::ostream &	os,
		const GSDD &	g
	)

Textual output of SDD into a stream in (relatively) human readable format.

Don't use it with large number of paths as each element is printed on a different line

valsorter()

static bool valsorter ( const GSDD::Valuation::value_type &  a, const GSDD::Valuation::value_type &  b  )

static

Referenced by _GSDD::_GSDD().

Variable Documentation

canonical

UniqueTable<_GSDD> canonical

static

Referenced by SDDutil::foreachTable(), GSDD::garbage(), SDDutil::getTable(), GSDD::GSDD(), GSDD::GSDD(), GSDD::GSDD(), GSDD::peak(), GSDD::pstats(), and GSDD::statistics().

Max_SDD

size_t Max_SDD =0

static

Referenced by GSDD::garbage(), and GSDD::peak().