klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
IndependentElementSet Class Reference

Public Member Functions

 IndependentElementSet ()
 
 IndependentElementSet (ref< Expr > e)
 
 IndependentElementSet (const IndependentElementSet &ies)
 
IndependentElementSetoperator= (const IndependentElementSet &ies)
 
void print (llvm::raw_ostream &os) const
 
bool intersects (const IndependentElementSet &b)
 
bool add (const IndependentElementSet &b)
 

Private Types

typedef std::map< const Array
*,::DenseSet< unsigned > > 
elements_ty
 

Private Attributes

elements_ty elements
 
std::set< const Array * > wholeObjects
 

Detailed Description

Definition at line 88 of file IndependentSolver.cpp.

Member Typedef Documentation

typedef std::map<const Array*, ::DenseSet<unsigned> > IndependentElementSet::elements_ty
private

Definition at line 89 of file IndependentSolver.cpp.

Constructor & Destructor Documentation

IndependentElementSet::IndependentElementSet ( )
inline

Definition at line 94 of file IndependentSolver.cpp.

IndependentElementSet::IndependentElementSet ( ref< Expr e)
inline
IndependentElementSet::IndependentElementSet ( const IndependentElementSet ies)
inline

Definition at line 120 of file IndependentSolver.cpp.

Member Function Documentation

bool IndependentElementSet::add ( const IndependentElementSet b)
inline

Definition at line 185 of file IndependentSolver.cpp.

References elements, and wholeObjects.

Referenced by getIndependentConstraints().

Here is the caller graph for this function:

bool IndependentElementSet::intersects ( const IndependentElementSet b)
inline

Definition at line 162 of file IndependentSolver.cpp.

References elements, and wholeObjects.

IndependentElementSet& IndependentElementSet::operator= ( const IndependentElementSet ies)
inline

Definition at line 124 of file IndependentSolver.cpp.

References elements, and wholeObjects.

void IndependentElementSet::print ( llvm::raw_ostream &  os) const
inline

Definition at line 130 of file IndependentSolver.cpp.

References klee::Array::name.

Referenced by operator<<().

Here is the caller graph for this function:

Member Data Documentation

elements_ty IndependentElementSet::elements
private

Definition at line 90 of file IndependentSolver.cpp.

Referenced by add(), intersects(), and operator=().

std::set<const Array*> IndependentElementSet::wholeObjects
private

Definition at line 91 of file IndependentSolver.cpp.

Referenced by add(), intersects(), and operator=().


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