Public Types | |
|
typedef virtual_term< Real, Constrs...> | virt |
Public Member Functions | |
| term (virt *ptr) | |
| term (const term &) | |
| term (term &&other) | |
| Real & | operator= (term &&other) |
| Real & | operator= (const term &other) |
| template<typename Constr , typename... V> | |
| void | match (pattern< Constr, V...> &p) const throw (failure) |
| bool | operator== (const term &other) const |
| bool | operator!= (const term &other) const |
| size_t | hash () const |
| template<typename Strat > | |
| term | all_prim (const Strat &s) const |
Public Attributes | |
| std::shared_ptr< virt > | l |