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. |