IndependentElementSet Class Reference

List of all members.

Public Member Functions
	IndependentElementSet ()
	IndependentElementSet (ref< Expr > e)
	IndependentElementSet (const IndependentElementSet &ies)
IndependentElementSet &	operator= (const IndependentElementSet &ies)
void	print (std::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 85 of file IndependentSolver.cpp.

---

Member Typedef Documentation

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

Definition at line 86 of file IndependentSolver.cpp.

---

Constructor & Destructor Documentation

IndependentElementSet::IndependentElementSet

(

)

[inline]

Definition at line 91 of file IndependentSolver.cpp.

IndependentElementSet::IndependentElementSet

(

ref< Expr >

e

)

[inline]

Definition at line 92 of file IndependentSolver.cpp.

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

Here is the call graph for this function:

IndependentElementSet::IndependentElementSet

(

const IndependentElementSet &

ies

)

[inline]

Definition at line 113 of file IndependentSolver.cpp.

---

Member Function Documentation

bool IndependentElementSet::add

(

const IndependentElementSet &

b

)

[inline]

Definition at line 178 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 155 of file IndependentSolver.cpp.

References elements, and wholeObjects.

IndependentElementSet& IndependentElementSet::operator=

(

const IndependentElementSet &

ies

)

[inline]

Definition at line 117 of file IndependentSolver.cpp.

References elements, and wholeObjects.

void IndependentElementSet::print

(

std::ostream &

os

)

const [inline]

Definition at line 123 of file IndependentSolver.cpp.

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

Referenced by operator<<().

Here is the caller graph for this function:

---

Member Data Documentation

elements_ty IndependentElementSet::elements [private]

Definition at line 87 of file IndependentSolver.cpp.

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

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

Definition at line 88 of file IndependentSolver.cpp.

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

---

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

• lib/Solver/IndependentSolver.cpp