substitute.hh

Go to the documentation of this file.

#pragma once

#include "Algorithm.hh"
#include "algorithms/sort_product.hh"

namespace cadabra {


class substitute : public Algorithm {
    public:
        substitute(const Kernel&, Ex& tr, Ex& args);


        virtual bool     can_apply(iterator st);

        virtual result_t apply(iterator&);

        Ex_comparator comparator;
    private:
        Ex&        args;

        iterator      use_rule;
        iterator      conditions;

        std::map<iterator, bool> lhs_contains_dummies, rhs_contains_dummies;

        // For object swap testing routines:
        sort_product    sort_product_;
};

}