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_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);

}