klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
DenseSet< T > Class Template Reference

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 (llvm::raw_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 29 of file IndependentSolver.cpp.

Member Typedef Documentation

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

Definition at line 30 of file IndependentSolver.cpp.

Constructor & Destructor Documentation

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

Definition at line 34 of file IndependentSolver.cpp.

Member Function Documentation

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

Definition at line 36 of file IndependentSolver.cpp.

Referenced by IndependentElementSet::IndependentElementSet().

Here is the caller graph for this function:

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

Definition at line 39 of file IndependentSolver.cpp.

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

Definition at line 45 of file IndependentSolver.cpp.

References DenseSet< T >::s.

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

Definition at line 57 of file IndependentSolver.cpp.

References DenseSet< T >::s.

template<class T>
void DenseSet< T >::print ( llvm::raw_ostream &  os) const
inline

Definition at line 65 of file IndependentSolver.cpp.

Member Data Documentation

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

Definition at line 31 of file IndependentSolver.cpp.

Referenced by DenseSet< T >::add(), and DenseSet< T >::intersects().


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