klee::_Identity< T > Struct Template Reference

#include <ImmutableSet.h>

List of all members.

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

template<class T >

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

(

const T &

a

)

const [inline]

Definition at line 21 of file ImmutableSet.h.

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:

• include/klee/Internal/ADT/ImmutableSet.h