klee::_Select1st< V, D > Struct Template Reference

#include <ImmutableMap.h>

List of all members.

Public Member Functions
D &	operator() (V &a) const
const D &	operator() (const V &a) const

---

Detailed Description

template<class V, class D>
struct klee::_Select1st< V, D >

Definition at line 19 of file ImmutableMap.h.

---

Member Function Documentation

template<class V , class D >

const D& klee::_Select1st< V, D >::operator()

(

const V &

a

)

const [inline]

Definition at line 21 of file ImmutableMap.h.

template<class V , class D >

D& klee::_Select1st< V, D >::operator()

(

V &

a

)

const [inline]

Definition at line 20 of file ImmutableMap.h.

---

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

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