Public Types | |
typedef get_tuple< Term, Constr >::tuple | tuple |
Public Member Functions | |
virtual const tuple & | getvalues (const Constr &) const throw (failure) |
virtual Term | build (tuple &&) const |
template<typename Strat > | |
Term | all_prim (const Strat &s) const |