klee
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

◆ operator()() [1/2]

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.

◆ operator()() [2/2]

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: