Minisat::MkIndexDefault< T > Struct Template Reference

#include <IntMap.h>

Public Member Functions
vec< T >::Size	operator() (T t) const

Detailed Description

template<class T>
struct Minisat::MkIndexDefault< T >

Definition at line 26 of file IntMap.h.

Member Function Documentation

template<class T>

vec<T>::Size Minisat::MkIndexDefault< T >::operator() ( T  t ) const

inline

Definition at line 27 of file IntMap.h.

{ return (typename vec<T>::Size)t; }

---

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

• IntMap.h