Base class for all algorithms, containing generic routines and in particular the logic for index clas...
Definition: Algorithm.hh:58
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:130
Definition: eliminate_metric.hh:25
index_map_t ind_dummy
Definition: eliminate_metric.hh:20
eliminate_converter(const Kernel &, Ex &, Ex &)
Definition: eliminate_metric.cc:23
virtual bool can_apply(iterator) override
Definition: eliminate_metric.cc:28
Ex::iterator iterator
Definition: Algorithm.hh:69
Ex::sibling_iterator sibling_iterator
Definition: Algorithm.hh:71
Ex preferred
Definition: eliminate_metric.hh:19
virtual bool is_conversion_object(iterator) const =0
virtual bool is_conversion_object(iterator) const override
Definition: eliminate_metric.cc:14
index_map_t ind_free
Definition: eliminate_metric.hh:20
eliminate_metric(const Kernel &, Ex &, Ex &)
Definition: eliminate_metric.cc:9
virtual result_t apply(iterator &) override
Definition: eliminate_metric.cc:83
Definition: eliminate_metric.hh:8
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:149
std::multimap< Ex, Ex::iterator, tree_exact_less_for_indexmap_obj > index_map_t
A map from a pattern to the position where it occurs in the tree.
Definition: Algorithm.hh:138
bool handle_one_index(iterator, iterator, iterator, sibling_iterator)
Definition: eliminate_metric.cc:34