Public Types | |
|
typedef max_shared_ptr < untyped_constructor_core, member_hash, std::equal_to < untyped_constructor_core > , pool_allocator < untyped_constructor_core > > | super |
Public Member Functions | |
| untyped_constructor (untyped_constructor &&other) | |
| untyped_constructor (const untyped_constructor &other) | |
| template<typename OtherPool , typename = typename std::enable_if<!std::is_same<Pool, OtherPool>::value>::type> | |
| untyped_constructor (const untyped_constructor< OtherPool > &other) | |
| untyped_constructor (const std::string &n, unsigned a) | |
| untyped_constructor (const std::string &n) | |
| unsigned | arity () const |
| const std::string & | name () const |
| unsigned | hash () const |
| template<typename L , typename = typename list_model<L>::model, template< typename > class Predicate = is_term<Pool>::template traits, typename = typename std::enable_if<all_elements<Predicate, L>::value>::type> | |
| untyped_term< Pool > | operator[] (const L &) const |
| untyped_term< Pool > | operator[] (const untyped_term< Pool > &t) const |
| untyped_term< Pool > | operator[] (const untyped_constructor< Pool > &c) const |
| template<typename P , typename = typename pattern_model<P>::model> | |
| untyped_pattern< Pool, list_cons< P, list_nil > > | operator[] (const P &p) const |
| template<typename L , typename = typename list_model<L>::model, template< typename > class untyped_termPredicate = is_term<Pool>::template traits, template< typename > class PatternPredicate = is_pattern<Pool>::template traits, typename = typename std::enable_if<!(all_elements<untyped_termPredicate, L>::value)>::type, typename = typename std::enable_if<all_elements<PatternPredicate, L>::value>::type> | |
| untyped_pattern< Pool, L > | operator[] (const L &l) const |
Static Public Attributes | |
| static untyped_constructor | AS_INT |
| static untyped_constructor | AS_REAL |
| static untyped_constructor | AS_BLOB |
| static untyped_constructor | AS_LIST |
| static untyped_constructor | AS_EMPTY_LIST |
| static untyped_constructor | AS_ANNOTATION |