IndependentElementSet Class Reference

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

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

Public Attributes
elements_ty	elements
std::set< const Array * >	wholeObjects
std::vector< ref< Expr > >	exprs

Detailed Description

Definition at line 98 of file IndependentSolver.cpp.

Member Typedef Documentation

elements_ty

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

Definition at line 100 of file IndependentSolver.cpp.

Constructor & Destructor Documentation

IndependentElementSet() [1/3]

IndependentElementSet::IndependentElementSet ( )

inline

Definition at line 108 of file IndependentSolver.cpp.

IndependentElementSet() [2/3]

IndependentElementSet::IndependentElementSet ( ref< Expr >  e )

inline

Definition at line 109 of file IndependentSolver.cpp.

References DenseSet< T >::add(), elements, exprs, klee::findReads(), klee::UpdateList::head, klee::ReadExpr::index, klee::Array::isConstantArray(), klee::UpdateList::root, klee::ReadExpr::updates, and wholeObjects.

Here is the call graph for this function:

IndependentElementSet() [3/3]

IndependentElementSet::IndependentElementSet ( const IndependentElementSet &  ies )

inline

Definition at line 141 of file IndependentSolver.cpp.

Member Function Documentation

add()

bool IndependentElementSet::add ( const IndependentElementSet &  b )

inline

Definition at line 211 of file IndependentSolver.cpp.

References elements, exprs, and wholeObjects.

Referenced by getAllIndependentConstraintsSets(), and getIndependentConstraints().

Here is the caller graph for this function:

intersects()

bool IndependentElementSet::intersects ( const IndependentElementSet &  b )

inline

Definition at line 185 of file IndependentSolver.cpp.

References elements, and wholeObjects.

Referenced by getAllIndependentConstraintsSets().

Here is the caller graph for this function:

operator=()

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

inline

Definition at line 146 of file IndependentSolver.cpp.

References elements, exprs, and wholeObjects.

print()

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

inline

Definition at line 153 of file IndependentSolver.cpp.

References elements, klee::Array::name, and wholeObjects.

Referenced by operator<<().

Here is the caller graph for this function:

Member Data Documentation

elements

elements_ty IndependentElementSet::elements

Definition at line 101 of file IndependentSolver.cpp.

Referenced by add(), calculateArrayReferences(), IndependentElementSet(), intersects(), operator=(), and print().

exprs

std::vector<ref<Expr> > IndependentElementSet::exprs

Definition at line 103 of file IndependentSolver.cpp.

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

wholeObjects

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

Definition at line 102 of file IndependentSolver.cpp.

Referenced by add(), calculateArrayReferences(), IndependentElementSet(), intersects(), operator=(), and print().

---

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

• /Users/cristic/klee/lib/Solver/IndependentSolver.cpp