DenseSet< T > Class Template Reference

List of all members.

Public Member Functions

 DenseSet ()
void add (T x)
void add (T start, T end)
bool add (const DenseSet &b)
bool intersects (const DenseSet &b)
void print (std::ostream &os) const

Private Types

typedef std::set< T > set_ty

Private Attributes

set_ty s


Detailed Description

template<class T>
class DenseSet< T >

Definition at line 27 of file IndependentSolver.cpp.


Member Typedef Documentation

template<class T>
typedef std::set<T> DenseSet< T >::set_ty [private]

Definition at line 28 of file IndependentSolver.cpp.


Constructor & Destructor Documentation

template<class T>
DenseSet< T >::DenseSet (  )  [inline]

Definition at line 32 of file IndependentSolver.cpp.


Member Function Documentation

template<class T>
bool DenseSet< T >::add ( const DenseSet< T > &  b  )  [inline]

Definition at line 43 of file IndependentSolver.cpp.

References DenseSet< T >::s.

template<class T>
void DenseSet< T >::add ( start,
end 
) [inline]

Definition at line 37 of file IndependentSolver.cpp.

References DenseSet< T >::s.

template<class T>
void DenseSet< T >::add ( x  )  [inline]

Definition at line 34 of file IndependentSolver.cpp.

References DenseSet< T >::s.

Referenced by IndependentElementSet::IndependentElementSet().

Here is the caller graph for this function:

template<class T>
bool DenseSet< T >::intersects ( const DenseSet< T > &  b  )  [inline]

Definition at line 55 of file IndependentSolver.cpp.

References DenseSet< T >::s.

template<class T>
void DenseSet< T >::print ( std::ostream &  os  )  const [inline]

Definition at line 63 of file IndependentSolver.cpp.

References DenseSet< T >::s.


Member Data Documentation

template<class T>
set_ty DenseSet< T >::s [private]


The documentation for this class was generated from the following file:

Generated on Fri Jun 5 03:32:00 2009 for klee by  doxygen 1.5.8