Public Member Functions | |
| template<typename OtherPool , typename = typename std::enable_if<!std::is_same<Pool, OtherPool>::value>::type> | |
| untyped_term_core (const untyped_term< OtherPool > &other) | |
| template<typename L , typename M = typename list_model<L>::model> | |
| untyped_term_core (const untyped_constructor< Pool > &c, const L &ch) | |
| untyped_term_core (const untyped_constructor< Pool > &c, const untyped_term< Pool > &ch) | |
| untyped_term_core (const untyped_constructor< Pool > &c, const untyped_term< Pool > *ch) | |
| untyped_term_core (untyped_term_core &&other) | |
| untyped_term_core (const untyped_term_core &other) | |
| untyped_term_core & | operator= (const untyped_term_core &other) |
| untyped_term_core & | operator= (untyped_term_core &&other) |
| unsigned | hash () const |
| bool | operator== (const untyped_term_core &other) const |
| const untyped_term< Pool > & | operator[] (unsigned n) const |
| const untyped_constructor< Pool > & | constructor () const |