DisplayTeX.hh

Go to the documentation of this file.

 
#pragma once
 
#include "Props.hh"
#include "Storage.hh"
#include "DisplayBase.hh"
#include <ostream>
 
typedef uint32_t kunichar;
 
namespace cadabra {
 
 
    class DisplayTeX : public DisplayBase {
        public:
            DisplayTeX(const Kernel&, const Ex&);
 
        protected:
            virtual bool needs_brackets(Ex::iterator it) override;
 
        private:
            // FIXME: just make this take the multiplier, instead of the node. Then mult can go away.
            void print_multiplier(std::ostream&, Ex::iterator, int mult=1);
            void print_opening_bracket(std::ostream&, str_node::bracket_t, str_node::parent_rel_t);
            void print_closing_bracket(std::ostream&, str_node::bracket_t, str_node::parent_rel_t);
            void print_parent_rel(std::ostream&, str_node::parent_rel_t, bool first);
            void print_children(std::ostream&, Ex::iterator, int skip=0);
 
            std::string texify(std::string) const;
 
            bool print_star=false;
            bool tight_star=false;
            //      bool tight_plus=false;
            //      bool utf8_output=false;
            bool latex_spacing=true;
            //      bool latex_linefeeds=true;             // to prevent buffer overflows in TeX
            bool extra_brackets_for_symbols=false; // wrap extra {} around symbols to ensure typesetting safety
 
            int bracket_level=0;
 
 
            virtual void dispatch(std::ostream&, Ex::iterator) override;
 
 
            void print_productlike(std::ostream&, Ex::iterator, const std::string& inbetween);
            void print_sumlike(std::ostream&, Ex::iterator);
            void print_fraclike(std::ostream&, Ex::iterator);
            void print_commalike(std::ostream&, Ex::iterator);
            void print_arrowlike(std::ostream&, Ex::iterator);
            void print_powlike(std::ostream&, Ex::iterator);
            void print_intlike(std::ostream&, Ex::iterator);
            void print_equalitylike(std::ostream&, Ex::iterator);
            void print_commutator(std::ostream& str, Ex::iterator it, bool comm);
            void print_components(std::ostream&, Ex::iterator);
            void print_conditional(std::ostream&, Ex::iterator);
            void print_relation(std::ostream&, Ex::iterator);
            void print_indexbracket(std::ostream&, Ex::iterator);
            void print_wedgeproduct(std::ostream&, Ex::iterator);
            void print_tableau(std::ostream&, Ex::iterator);
            void print_ftableau(std::ostream&, Ex::iterator);
            void print_dot(std::ostream& str, Ex::iterator it);
            void print_dots(std::ostream& str, Ex::iterator it);
            void print_other(std::ostream& str, Ex::iterator it);
 
            bool children_have_brackets(Ex::iterator ch) const;
 
 
            bool reads_as_operator(Ex::iterator obj, Ex::iterator arg) const;
 
            std::map<std::string, std::string> symmap;
 
            std::set<std::string> curly_bracket_operators;
 
        };
 
    const char *unichar(kunichar c);
 
    }