dejavu Namespace Reference

Namespaces
namespace	ds
	General-purpose datastructures.
namespace	groups
	Data structures and algorithms to deal with groups.
namespace	hooks
	A collection of dejavu hooks.
namespace	ir
	IR fundamentals.
namespace	search_strategy
	High-level IR search strategies.

Classes
class	big_number
	Stores big numbers. More...
class	preprocessor
	preprocessor for symmetry detection More...
class	random_source
	Random number generation. More...
class	sgraph
	Internal graph data structure. More...
class	solver
	The dejavu solver. More...
class	static_graph
	Graph with static number of vertices and edges. More...
class	timed_print
	Prints information to the console. More...

Functions
std::ostream &	operator<< (std::ostream &out, big_number number)

Function Documentation

operator<<()

std::ostream & dejavu::operator<< ( std::ostream &  out, big_number  number  )

inline

Definition at line 211 of file utility.h.