
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 |