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, bool partial=true);
 
 
            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_;
            bool            partial;
        };
 
    }