SDD.h File Reference

#include <string>
#include "ddd/UniqueTable.h"
#include "ddd/DataSet.h"

Include dependency graph for SDD.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	GSDD
	This class is the base class representing a hierarchical Set Decision Diagram. More...
class	SDD
	This class is the public interface for manipulating Data Decision Diagrams. More...
struct	std::less< GSDD >
	Compares two SDD in hash tables. More...

Namespaces
	SDDutil
	Namespace declared to hide these functions.
	std

Functions
std::ostream &	operator<< (std::ostream &, const GSDD &)
	Textual output of SDD into a stream in (relatively) human readable format. More...
GSDD	operator^ (const GSDD &, const GSDD &)
	Operator for concatenation of two SDD. More...
GSDD	operator+ (const GSDD &, const GSDD &)
	Operator for union of DDD. More...
GSDD	operator* (const GSDD &, const GSDD &)
	Operator for intersection of DDD. More...
GSDD	operator- (const GSDD &, const GSDD &)
	Operator for set difference of DDD. More...
UniqueTable< _GSDD > *	SDDutil::getTable ()
	accessor to UniqueTable instance declared in cpp file, (hem, please don't touch it). More...
void	SDDutil::foreachTable (void(*foo)(const GSDD &g))
	Iterator over the entries of the table, applies foo to each entry in the table. More...

Function Documentation

operator*()

GSDD operator*	(	const GSDD &	g1,
		const GSDD &	g2
	)

Operator for intersection of DDD.

Semantics : d1 * d2 designates the intersection of the two sets

References _SDED_Mult::create().

operator+()

GSDD operator+	(	const GSDD &	g1,
		const GSDD &	g2
	)

Operator for union of DDD.

Semantics : d1 + d2 produces the union d1 and d2

References _SDED_Add::create().

operator-()

GSDD operator-	(	const GSDD &	g1,
		const GSDD &	g2
	)

Operator for set difference of DDD.

Semantics : d1 - d2 contains elements in d1 and not in d2

References _SDED_Minus::create().

operator<<()

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

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

A textual output.

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

operator^()

GSDD operator^	(	const GSDD &	g1,
		const GSDD &	g2
	)

Operator for concatenation of two SDD.

Semantics : d1 ^ d2 replaces "one" terminals of d1 by d2

References _SDED_Concat::create().