ExNode.hh

Go to the documentation of this file.

 
#pragma once
 
#include "Kernel.hh"
#include "Storage.hh"
#include "IndexIterator.hh"
#include "IndexClassifier.hh"
#include <memory>
#include <pybind11/pybind11.h>
 
 
class ExNode : public cadabra::IndexClassifier {
    public:
        ExNode(const cadabra::Kernel&, std::shared_ptr<cadabra::Ex>);
 
        std::shared_ptr<cadabra::Ex>          ex;
        cadabra::Ex::iterator it;
 
        ExNode& iter();
        ExNode& next();
 
        ExNode copy() const;
 
        std::string __str__() const;
        std::string _latex_() const;
       std::string input_form() const;
    
        std::string get_name() const;
        void        set_name(std::string);
 
        bool is_valid() const;
        
        cadabra::Ex get_ex() const;
        
        cadabra::str_node::parent_rel_t get_parent_rel() const;
        void                            set_parent_rel(cadabra::str_node::parent_rel_t);
 
        //      ExNode      unwrap(ExNode child);
 
        void        replace(std::shared_ptr<cadabra::Ex> rep);
 
        ExNode      insert(std::shared_ptr<cadabra::Ex>    ins);
        ExNode      insert_it(ExNode ins);
 
        ExNode      append_child(std::shared_ptr<cadabra::Ex>);
        ExNode      append_child_it(ExNode ins);
 
        ExNode      add_ex(std::shared_ptr<cadabra::Ex>);
 
        void        erase();
 
        ExNode      getitem_string(std::string tag);
        ExNode      getitem_iterator(ExNode);
 
        void        setitem_string(std::string tag, std::shared_ptr<cadabra::Ex> val);
        void        setitem_iterator(ExNode, std::shared_ptr<cadabra::Ex> val);
 
        ExNode      terms();
 
        ExNode      factors();
 
        ExNode      own_indices();
 
        ExNode      indices();
 
        ExNode      free_indices();
 
        ExNode      components();
        
        ExNode      args();
 
        ExNode      children();
 
        std::string tag;
        bool        indices_only, args_only, terms_only, factors_only;
 
        void update(bool first);
 
        cadabra::Ex::iterator         nxtit;
        cadabra::Ex::sibling_iterator sibnxtit;
        cadabra::index_iterator       indnxtit;
 
        bool                          use_sibling_iterator;
        bool                          use_index_iterator;
        cadabra::Ex::iterator         topit, stopit;
 
        index_map_t                   ind_free, ind_dummy;
        index_position_map_t          ind_pos_dummy;
 
    private:
    };
 
 
ExNode Ex_iter(std::shared_ptr<cadabra::Ex> ex);
ExNode Ex_top(std::shared_ptr<cadabra::Ex> ex);
bool   Ex_matches(std::shared_ptr<cadabra::Ex> ex, ExNode& other);
bool   Ex_matches_Ex(std::shared_ptr<cadabra::Ex> ex, std::shared_ptr<cadabra::Ex> other);
bool   ExNode_less(ExNode& one, ExNode& two);
bool   ExNode_greater(ExNode& one, ExNode& two);
ExNode Ex_getitem_string(std::shared_ptr<cadabra::Ex> ex, std::string tag);
ExNode Ex_getitem_iterator(std::shared_ptr<cadabra::Ex> ex, ExNode);