Public Types | |
|
typedef max_shared_ptr < untyped_term_core< Pool > , member_hash, std::equal_to < untyped_term_core< Pool > >, pool_allocator < untyped_term_core< Pool > > > | super |
Public Member Functions | |
| untyped_term (const untyped_term &other) | |
| untyped_term (untyped_term &&other) | |
| template<typename OtherPool , typename = typename std::enable_if<!std::is_same<Pool, OtherPool>::value>::type> | |
| bool | operator== (const untyped_term< OtherPool > &other) const |
| bool | operator== (const untyped_term &other) const |
| untyped_term & | operator= (const untyped_term &other) |
| untyped_term & | operator= (untyped_term &&other) |
| template<typename OtherPool , typename = typename std::enable_if<!std::is_same<Pool, OtherPool>::value>::type> | |
| untyped_term (const untyped_term< OtherPool > &other) | |
| template<typename L , typename M = typename list_model<L>::model> | |
| untyped_term (const untyped_constructor< Pool > &c, const L &l) | |
| untyped_term (const untyped_constructor< Pool > &c, const untyped_term< Pool > &l) | |
| untyped_term (const untyped_constructor< Pool > &c, const untyped_term< Pool > *l) | |
| untyped_term (const untyped_constructor< Pool > &c) | |
| untyped_constructor< Pool > | constructor () const |
| const untyped_term< Pool > & | operator[] (unsigned i) const |
| operator list_cons< untyped_term< Pool >, list_nil > () const | |
| unsigned | hash () const |