IndexClassifier.hh

Go to the documentation of this file.

 
#pragma once
 
#include "Kernel.hh"
#include "Storage.hh"
#include "Props.hh"
#include "Compare.hh"
 
 
namespace cadabra {
 
    class IndexClassifier {
 
        public:
            IndexClassifier(const Kernel&);
 
            typedef std::multimap<Ex, Ex::iterator, tree_exact_less_for_indexmap_obj> index_map_t;
 
            typedef std::map<Ex::iterator, int, Ex::iterator_base_less>    index_position_map_t;
 
 
            void     fill_index_position_map(Ex::iterator, const index_map_t&, index_position_map_t&) const;
            void     fill_map(index_map_t&, Ex::sibling_iterator, Ex::sibling_iterator) const;
            void     print_classify_indices(std::ostream&, Ex::iterator) const;
 
 
            void     determine_intersection(index_map_t& one, index_map_t& two, index_map_t& target,
                                            bool move_out=false) const;
 
            void     classify_add_index(Ex::iterator it, index_map_t& ind_free, index_map_t& ind_dummy) const;
 
 
            void     classify_indices_up(Ex::iterator, index_map_t& ind_free, index_map_t& ind_dummy) const;
 
 
            void     classify_indices(Ex::iterator, index_map_t& ind_free, index_map_t& ind_dummy) const;
            
            int      max_numbered_name_one(const std::string& nm, const index_map_t * one) const;
            int      max_numbered_name(const std::string&, const index_map_t *m1, const index_map_t *m2=0,
                                       const index_map_t *m3=0, const index_map_t *m4=0, const index_map_t *m5=0) const;
            Ex get_dummy(const list_property *, const index_map_t *m1, const index_map_t *m2=0,
                         const index_map_t *m3=0, const index_map_t *m4=0, const index_map_t *m5=0) const;
            Ex get_dummy(const list_property *, Ex::iterator) const;
            Ex get_dummy(const list_property *, Ex::iterator, Ex::iterator) const;
 
            bool index_in_set(Ex, const index_map_t *) const;
            void     dumpmap(std::ostream&, const index_map_t&) const;
 
            index_map_t::iterator find_modulo_parent_rel(Ex::iterator it, index_map_t& imap) const;
 
        protected:
            const Kernel& kernel;
 
        };
 
    }