Classes | |
struct | core_type |
Public Types | |
enum | { constrnb = (size_t)ConstrNb<Constr, value } |
typedef get_tuple< Super, Constr >::tuple | tuple |
Public Member Functions | |
virtual size_t | constr () const |
virtual Super | build (tuple &&t) const |
virtual size_t | hash () const |
operator Super () const | |
std_term (const tuple &args) | |
std_term (tuple &&args) | |
std_term (const std_term &other) | |
std_term (std_term &&other) | |
virtual const tuple & | getvalues (const Constr &) const throw () |
virtual bool | operator== (const typename Super::virt &other) const |
virtual bool | operator!= (const typename Super::virt &other) const |
Public Attributes | |
max_shared_ptr< core_type > | core |