websocketpp::client< websocketpp::config::asio_client > client
Definition ComputeThread.cc:15
Base class for all algorithms, containing generic routines and in particular the logic for index clas...
Definition Algorithm.hh:59
Ex::iterator iterator
Definition Algorithm.hh:70
Basic storage class for symbolic mathemematical expressions.
Definition Storage.hh:142
result_t
Keeping track of what algorithms have done to this expression.
Definition Storage.hh:161
Definition take_match.hh:8
std::vector< Ex::path_t > to_keep
Definition take_match.hh:19
std::vector< sibling_iterator > to_erase
Definition take_match.hh:18
take_match(const Kernel &k, Ex &e, Ex &r)
Definition take_match.cc:8
virtual bool can_apply(iterator) override
Definition take_match.cc:17
virtual result_t apply(iterator &) override
Definition take_match.cc:51
Ex rules
Definition take_match.hh:16
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83
int k
Definition passing.cc:4