TempCtr.h

//
// Created by henri on 08/09/22.
//
 
#ifndef OPTIMIZE_TEMPCTR_H
#define OPTIMIZE_TEMPCTR_H
 
#include <ostream>
#include <idol/mixed-integer/modeling/expressions/LinExpr.h>
#include <idol/mixed-integer/modeling/Types.h>
#include <idol/mixed-integer/modeling/variables/Var.h>
 
namespace idol {
 
    class TempCtr;
 
    template<class, class> class AffExpr;
}
 
class idol::TempCtr {
    LinExpr<Var> m_lhs;
    CtrType m_type = LessOrEqual;
    double m_rhs = 0.;
public:
    TempCtr() = default;
 
    TempCtr(LinExpr<Var>&& t_lhs, CtrType t_type, double t_rhs) : m_lhs(std::move(t_lhs)), m_rhs(t_rhs), m_type(t_type) {}
 
    TempCtr(const TempCtr& t_src) = default;
 
    TempCtr(TempCtr&& t_src) noexcept = default;
 
    TempCtr& operator=(const TempCtr& t_src) = default;
 
    TempCtr& operator=(TempCtr&& t_src) noexcept = default;
 
    LinExpr<Var>& lhs() { return m_lhs; }
 
    const LinExpr<Var>& lhs() const { return m_lhs; }
 
    void set_lhs(LinExpr<Var>&& t_lhs) { m_lhs = std::move(t_lhs); }
 
    [[nodiscard]] CtrType type() const { return m_type; }
 
    double rhs() const { return m_rhs; }
 
    double& rhs() { return m_rhs; }
 
    void set_rhs(double t_rhs) { m_rhs = t_rhs; }
 
    void set_type(CtrType t_type) {
        if (t_type < 0 || t_type > 2) {
            throw Exception("Constraint type out of bounds.");
        }
        m_type = t_type;
    }
 
};
 
idol::TempCtr operator<=(idol::AffExpr<idol::Var, double> t_lhs, idol::AffExpr<idol::Var, double> t_rhs);
idol::TempCtr operator>=(idol::AffExpr<idol::Var, double> t_lhs, idol::AffExpr<idol::Var, double> t_rhs);
idol::TempCtr operator==(idol::AffExpr<idol::Var, double> t_lhs, idol::AffExpr<idol::Var, double> t_rhs);
 
namespace idol {
    std::ostream &operator<<(std::ostream &t_os, const TempCtr &t_temp_ctr);
}
 
#endif //OPTIMIZE_TEMPCTR_H