klee
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)
 
IndependentElementSetoperator= (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

◆ 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

◆ 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

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