teddy::expression_node Concept Reference

Concept definition

template<class Node>
concept teddy::expression_node =  requires(Node node, int32 value) {
                              {
                                  node.is_variable()
                              } -> std::same_as<bool>;
                              {
                                  node.is_constant()
                              } -> std::same_as<bool>;
                              {
                                  node.is_operation()
                              } -> std::same_as<bool>;
                              {
                                  node.get_index()
                              } -> std::same_as<int32>;
                              {
                                  node.get_value()
                              } -> std::same_as<int32>;
                              {
                                  node.evaluate(value, value)
                              } -> std::same_as<int32>;
                              {
                                  node.get_left()
                              } -> std::same_as<Node const&>;
                              {
                                  node.get_right()
                              } -> std::same_as<Node const&>;
                          }