Skip to content
Snippets Groups Projects
Select Git revision
  • ebe33e3d7e64fcb8e945c7a1d163b756f698a75a
  • master default protected
  • julia protected
  • 6.x protected
  • python-codegen
  • llvm-15
  • 5.x protected
  • 4.6 protected
  • uop
  • rework_pac
  • aux_vars_fix
  • julia-7.0.0
  • julia-6.4.0
  • julia-6.3.0
  • julia-6.2.0
15 results

Expressions.cc

Blame
  • Expressions.cc 44.31 KiB
    /*
     * Copyright © 2019-2024 Dynare Team
     *
     * This file is part of Dynare.
     *
     * Dynare 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.
     *
     * Dynare 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 Dynare.  If not, see <https://www.gnu.org/licenses/>.
     */
    
    #include <numbers>
    #include <utility>
    
    #include "Expressions.hh"
    
    using namespace macro;
    
    BoolPtr
    BaseType::is_different(const BaseTypePtr& btp) const
    {
      if (*(this->is_equal(btp)))
        return make_shared<Bool>(false);
      return make_shared<Bool>(true);
    }
    
    BoolPtr
    Bool::is_equal(const BaseTypePtr& btp) const
    {
      auto btp2 = dynamic_pointer_cast<Bool>(btp);
      if (!btp2)
        return make_shared<Bool>(false);
      return make_shared<Bool>(value == btp2->value);
    }
    
    BoolPtr
    Bool::logical_and(const ExpressionPtr& ep, Environment& env) const
    {
      if (!value)
        return make_shared<Bool>(false);
    
      auto btp = ep->eval(env);
      if (auto btp2 = dynamic_pointer_cast<Bool>(btp); btp2)
        return make_shared<Bool>(*btp2);
    
      if (auto btp2 = dynamic_pointer_cast<Real>(btp); btp2)
        return make_shared<Bool>(*btp2);
    
      throw StackTrace("Type mismatch for operands of && operator");
    }
    
    BoolPtr
    Bool::logical_or(const ExpressionPtr& ep, Environment& env) const
    {
      if (value)
        return make_shared<Bool>(true);
    
      auto btp = ep->eval(env);
      if (auto btp2 = dynamic_pointer_cast<Bool>(btp); btp2)
        return make_shared<Bool>(*btp2);
    
      if (auto btp2 = dynamic_pointer_cast<Real>(btp); btp2)