begin drafting binary operation overloading

include/autoppl/expression/binop.hpp

@@ -0,0 +1,98 @@
+#pragma once
+
+#include <type_traits>
+#include <autoppl/util/traits.hpp>
+#include <autoppl/expression/var_expr.hpp>
+
+namespace ppl {
+
+template <class LHSValueType, class RHSValueType, class BinaryOp>
+struct BinaryOpNode 
+{
+	using binop_result_t = std::common_type_t<
+		typename node_traits<left_node_t>::binop_result_t,
+		typename node_traits<right_node_t>::binop_result_t
+			>;
+
+	BinaryOpNode(Variable<LHSValueType> lhs, Variable<RHSValueType> rhs)
+		: lhs_{lhs}, rhs_{rhs}
+	{}
+
+	binop_result_t get_value() 
+	{
+		LHSValueType lhs_value = lhs_.get_value();
+		RHSValueType rhs_value = rhs_.get_value();
+		return BinaryOp::evaluate(lhs_value, rhs_value);
+	}
+
+private:
+	Variable<LHSValueType> lhs_;
+	Variable<RHSValueType> rhs_;
+
+}
+
+template <class LHSValueType, class RHSValueType>
+BinaryOpNode BinaryOp::operator+(
+	const Variable<LHSValueType>& lhs,
+	const Variable<RHSValueType>& rhs)
+{
+	return BinaryOpNode<Variable<LHSValueType>, Variable<RHSValueType>, AddOp>(lhs, rhs);
+}
+
+template <class LHSValueType, class RHSValueType>
+BinaryOpNode BinaryOp::operator*(
+	const Variable<LHSValueType>& lhs,
+	const Variable<RHSValueType>& rhs)
+{
+	return BinaryOpNode<Variable<LHSValueType>, Variable<RHSValueType>, MultOp>(lhs, rhs);
+}
+
+template <class LHSValueType, class RHSValueType>
+struct BinaryOp {
+
+	using left_node_t = LHSValueType;
+	using right_node_t = RHSValueType;
+	using binop_result_t = std::common_type_t<
+		typename node_traits<left_node_t>::binop_result_t,
+		typename node_traits<right_node_t>::binop_result_t
+			>;
+
+	ReturnType BinaryOp::evaluate();
+
+}
+
+template <class LHSValueType, class RHSValueType>
+struct AddOp : BinaryOp {
+
+	using binop_result_t = std::common_type_t<
+		typename node_traits<left_node_t>::binop_result_t,
+		typename node_traits<right_node_t>::binop_result_t
+			>;
+
+	static binop_result_t evaluate(LHSValueType x, RHSValueType y)
+	{
+		return x + y;
+	}
+
+}
+
+template <class LHSValueType, class RHSValueType>
+struct MultOp : BinaryOp {
+
+	using binop_result_t = std::common_type_t<
+		typename node_traits<left_node_t>::binop_result_t,
+		typename node_traits<right_node_t>::binop_result_t
+			>;
+
+	static binop_result_t evaluate(LHSValueType x, RHSValueType y)
+	{
+		return x * y;
+	}
+
+}
+
+
+#ifdef AUTOPPL_USE_CONCEPTS
+#endif
+
+} // namespace ppl