packages/engine/scram-node/src/expression/conditional.h

Conditional (if-then-else, switch-case) expressions.

Namespaces

Name
scram
scram::mef

Classes

	Name
class	scram::mef::Ite <br>If-Then-Else ternary expression.
class	scram::mef::Switch <br>Switch-Case conditional operations.
struct	scram::mef::Switch::Case <br>Individual cases in the switch-case operation.

Source code

/*
 * Copyright (C) 2014-2018 Olzhas Rakhimov
 * Copyright (C) 2023 OpenPRA ORG Inc.
 *
 * This program 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.
 *
 * This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.
 */


#pragma once

#include <vector>

#include "src/expression.h"

namespace scram::mef {

class Ite : public ExpressionFormula<Ite> {
 public:
  Ite(Expression* condition, Expression* then_arm, Expression* else_arm)
      : ExpressionFormula<Ite>({condition, then_arm, else_arm}) {}

  Interval interval() noexcept override;

  template <typename F>
  double Compute(F&& eval) noexcept {
    assert(args().size() == 3);
    return eval(args()[0]) ? eval(args()[1]) : eval(args()[2]);
  }
};

class Switch : public ExpressionFormula<Switch> {
 public:
  struct Case {
    Expression& condition;  
    Expression& value;  
  };

  Switch(std::vector<Case> cases, Expression* default_value);

  Interval interval() noexcept override;

  template <typename F>
  double Compute(F&& eval) noexcept {
    for (Case& case_arm : cases_) {
      if (eval(&case_arm.condition))
        return eval(&case_arm.value);
    }
    return eval(&default_value_);
  }

 private:
  std::vector<Case> cases_;  
  Expression& default_value_;  
};

}  // namespace scram::mef

---

Updated on 2025-11-11 at 16:51:08 +0000