Public Member Functions | |
| map_strategy (const S &s) | |
| template<int N> | |
| std::bitset< N > | operator() (std::bitset< N > t) const |
| template<typename T , typename M = typename strategy_model<S, typename T::value_type>::model> | |
| T | operator() (const T &t) const |
| template<typename Pool , typename M = typename strategy_model<S, untyped_term<Pool> >::model> | |
| untyped_term< Pool > | operator() (const untyped_term< Pool > &t) const |
Public Attributes | |
| S | s |