Patterns

Functions

template<typename Pool , typename List >
build_strategy
< untyped_pattern< Pool, List > > 
aurelia::operator! (const untyped_pattern< Pool, List > &p)
 The strategy builds the pattern passed as parameter.
template<typename T >
build_strategy< variable< T > > aurelia::operator! (const variable< T > &v)
 The strategy builds the variable passed as parameter.
template<typename Pool , typename List >
match_strategy
< untyped_pattern< Pool, List > > 
aurelia::operator~ (const untyped_pattern< Pool, List > &p)
 The strategy matches the pattern passed as parameter.
template<typename T >
match_strategy< variable< T > > aurelia::operator~ (const variable< T > &t)
 The strategy matches the variable passed as parameter.
template<typename Pool >
match_strategy< untyped_term
< Pool > > 
aurelia::operator~ (const untyped_term< Pool > &t)
 The strategy matches the term passed as parameter.
template<typename Pool >
match_strategy< untyped_term
< Pool > > 
aurelia::operator~ (const untyped_constructor< Pool > &t)
 The strategy matches the term passed as parameter.
template<typename A , typename B >
tmp tmp aurelia src strategies
patterns pair hh
build_strategy< pair_pattern
< A, B > > 
aurelia::operator! (const pair_pattern< A, B > &p)
 Builds a pair.
template<typename A , typename B >
match_strategy< pair_pattern
< A, B > > 
aurelia::operator~ (const pair_pattern< A, B > &p)
 Matches a pair.
template<typename T >
reset_strategy< T > aurelia::reset (const variable< T > &v)
 Resets the variable.