All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::_Select1st< V, D > Struct Template Reference

#include <ImmutableMap.h>

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 >
D& klee::_Select1st< V, D >::operator() ( V &  a) const

Definition at line 20 of file ImmutableMap.h.

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

Definition at line 21 of file ImmutableMap.h.

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