
Public Member Functions | |
| const_map_strategy (const S &s) | |
| template<int N> | |
| std::bitset< N > | operator() (const std::bitset< N > &t) const |
| template<typename T > | |
| T | operator() (const T &t) const |
| template<typename Pool > | |
| untyped_term< Pool > | operator() (const untyped_term< Pool > &t) const |
Public Attributes | |
| S | s |