klee::_Identity< T > Struct Template Reference

#include <ImmutableSet.h>

Public Member Functions
T &	operator() (T &a) const
const T &	operator() (const T &a) const

Detailed Description

template<class T>
struct klee::_Identity< T >

Definition at line 19 of file ImmutableSet.h.

Member Function Documentation

operator()() [1/2]

template<class T >

const T & klee::_Identity< T >::operator() ( const T &  a ) const

inline

Definition at line 21 of file ImmutableSet.h.

operator()() [2/2]

template<class T >

T & klee::_Identity< T >::operator() ( T &  a ) const

inline

Definition at line 20 of file ImmutableSet.h.

---

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

• /Users/cristic/klee/include/klee/ADT/ImmutableSet.h