element.h

Go to the documentation of this file.

// This file is part of MARTY.
// 
// MARTY is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
// 
// MARTY is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
// 
// You should have received a copy of the GNU General Public License
// along with MARTY. If not, see <https://www.gnu.org/licenses/>.

#ifndef ELEMENT_H_INCLUDED
#define ELEMENT_H_INCLUDED

#include "parent.h"
#include "literal.h"
#include "numerical.h"

namespace csl {

class AbstractElement: public Complexified{

    protected:

    std::shared_ptr<AbstractParent> parent;

    public:

    explicit
    AbstractElement();

    explicit
    AbstractElement(const std::shared_ptr<AbstractParent>&  t_parent);

    ~AbstractElement(){};

    Parent getParent() const override;

    Parent_info getParent_info() const override;

    std::string const &getName() const override;

    std::string const &getLatexName() const override;

    bool getCommutable() const override;

    csl::ComplexProperty getComplexProperty() const override;

    std::vector<Parent> getSubSymbols() const override;

    void setParent(const Parent& t_parent) override;

    void setName(const std::string& t_name) override;

    void setCommutable(bool t_commutable) override;

    void setComplexProperty(csl::ComplexProperty t_prop) override;

    int isPolynomial(Expr_info variable) const override;

    std::optional<Expr> getPolynomialTerm(
            Expr_info variable, int order) const override;

    std::optional<Expr> evaluate(
            csl::eval::mode user_mode = csl::eval::base
            ) const override;
};

} // End of namespace std

#endif