SBDDataGraphNodeIndexer.hpp File Reference

Classes
class	SBDDataGraphNodeIndexer
	This class describes a node indexer. More...

Typedefs
typedef SBDDataGraphNodeIndexer	SBNodeIndexer
	The short name of SBDDataGraphNodeIndexer.