Param.h

//
// Created by henri on 07/09/22.
//
 
#ifndef OPTIMIZE_PARAM_H
#define OPTIMIZE_PARAM_H
 
#include "idol/mixed-integer/modeling/objects/Object.h"
#include "idol/mixed-integer/modeling/Types.h"
#include "idol/mixed-integer/modeling/variables/Var.h"
#include "idol/mixed-integer/modeling/constraints/Ctr.h"
#include <iostream>
#include <variant>
 
namespace idol {
    class Var;
 
    class Param;
}
 
class idol::Param {
    std::variant<Var, Ctr> m_value;
public:
    explicit Param(const Var& t_var) : m_value(t_var) {}
 
    explicit Param(const Ctr& t_ctr) : m_value(t_ctr) {}
 
    Param(const Param& t_param) = default;
 
    Param(Param&& t_param) noexcept = default;
 
    Param& operator=(const Param& t_param) = default;
 
    Param& operator=(Param&& t_param) noexcept = default;
 
    template<class T> [[nodiscard]] bool is() const { return std::holds_alternative<T>(m_value); }
 
    template<class T> [[nodiscard]] T as() const { return std::get<T>(m_value); }
 
    [[nodiscard]] unsigned int id() const { return is<Var>() ? as<Var>().id() : as<Ctr>().id(); }
 
    [[nodiscard]] const std::string& name() const { return is<Var>() ? as<Var>().name() : as<Ctr>().name(); }
};
 
static idol::Param operator!(const idol::Var& t_var) { return idol::Param(t_var); }
static idol::Param operator!(const idol::Ctr& t_ctr) { return idol::Param(t_ctr); }
 
namespace idol {
 
    static std::ostream &operator<<(std::ostream &t_os, const idol::Param &t_param) {
        return t_os << '!' << t_param.name();
    }
 
}
 
IDOL_MAKE_HASHABLE(Param)
 
#endif //OPTIMIZE_IMPL_PARAM_H