Public Member Functions | |
| pattern (const Constructor &constructor, SubPatterns...p) | |
| template<typename Term , typename M = typename term_model<Term>::model> | |
| Term | operator= (const Term &t) throw (failure) |
| template<typename... OtherSubPatterns, typename = typename std::enable_if<can_match<std::tuple<SubPatterns...>, std::tuple<OtherSubPatterns...> > ::value>::type> | |
| const builder< pattern < Constructor, OtherSubPatterns...> > & | operator= (const builder< pattern< Constructor, OtherSubPatterns...> > &b) throw (failure) |
| builder< pattern > | operator* () const |
Public Attributes | |
| Constructor | constructor |
| std::tuple< SubPatterns...> | subpatterns |