Function_ref_test.cpp

Go to the documentation of this file.

/*******************************************************************************
 Causal Dynamical Triangulations in C++ using CGAL
 
 Copyright © 2017 Adam Getchell
 ******************************************************************************/
 
 
#include <doctest/doctest.h>
 
#include <tl/function_ref.hpp>
 
#include "Ergodic_moves_3.hpp"
 
using namespace std;
using namespace manifolds;
 
SCENARIO("Simple Lambda operations" * doctest::test_suite("function_ref"))
{
  auto constexpr increment_lambda = [](int a) { return ++a; };  // NOLINT
  GIVEN("A simple lambda.")
  {
    WHEN("Lambda is called with 0.")
    {
      THEN("We should get 1.") { REQUIRE_EQ(increment_lambda(0), 1); }
    }
 
    WHEN("Lambda is called with 1.")
    {
      THEN("We should get 2.") { REQUIRE_EQ(increment_lambda(1), 2); }
    }
 
    WHEN("Lambda is called with 5.")
    {
      THEN("We should get 6.") { REQUIRE_EQ(increment_lambda(5), 6); }
    }
  }
}
 
SCENARIO("Complex lambda operations" * doctest::test_suite("function_ref"))
{
  GIVEN("A lambda storing a move.")
  {
    auto constexpr desired_simplices  = 640;
    auto constexpr desired_timeslices = 4;
    Manifold_3 manifold(desired_simplices, desired_timeslices);
    REQUIRE(manifold.is_correct());
    WHEN("A lambda is constructed for a move.")
    {
      auto const move23 = [](Manifold_3& m) {  // NOLINT
        return ergodic_moves::do_23_move(m).value();
      };
      THEN("Running the lambda makes the move.")
      {
        auto result = move23(manifold);
        result.update();
        CHECK(ergodic_moves::check_move(manifold, result,
                                        move_tracker::move_type::TWO_THREE));
        // Human verification
        fmt::print("Manifold properties:\n");
        manifold.print_details();
        fmt::print("Moved manifold properties:\n");
        result.print_details();
      }
    }
  }
}
 
SCENARIO("Function_ref operations" * doctest::test_suite("function_ref"))
{
  GIVEN("A simple lambda stored in a function_ref.")
  {
    auto const increment = [](int incr) { return ++incr; };
    tl::function_ref<int(int)> const lambda_ref(increment);
    WHEN("Function_ref is called with 0.")
    {
      THEN("We should get 1.") { REQUIRE_EQ(lambda_ref(1), 2); }
    }
  }
  GIVEN("A function pointer to a move stored in a function_ref.")
  {
    auto constexpr desired_simplices  = 640;
    auto constexpr desired_timeslices = 4;
    Manifold_3 manifold(desired_simplices, desired_timeslices);
    REQUIRE(manifold.is_correct());
    tl::function_ref const complex_ref(ergodic_moves::do_23_move);
    WHEN("The function_ref is invoked.")
    {
      auto result = complex_ref(manifold);
      result->update();
      THEN("The move from the function_ref is correct.")
      {
        CHECK(ergodic_moves::check_move(manifold, result.value(),
                                        move_tracker::move_type::TWO_THREE));
        // Human verification
        fmt::print("Manifold properties:\n");
        manifold.print_details();
        fmt::print("Moved manifold properties:\n");
        result->print_details();
      }
    }
  }
  GIVEN("A lambda invoking a move stored in a function_ref.")
  {
    auto constexpr desired_simplices  = 640;
    auto constexpr desired_timeslices = 4;
    Manifold_3 manifold(desired_simplices, desired_timeslices);
    REQUIRE(manifold.is_correct());
    auto const move23 = [](Manifold_3& t_manifold) {
      return ergodic_moves::do_23_move(t_manifold).value();
    };
    tl::function_ref<Manifold_3(Manifold_3&)> const complex_ref(move23);
    WHEN("The function_ref is invoked.")
    {
      auto result = complex_ref(manifold);
      result.update();
      THEN(
          "The move stored in the lambda invoked by the function_ref is "
          "correct.")
      {
        CHECK(ergodic_moves::check_move(manifold, result,
                                        move_tracker::move_type::TWO_THREE));
        // Human verification
        fmt::print("Manifold properties:\n");
        manifold.print_details();
        fmt::print("Moved manifold properties:\n");
        result.print_details();
      }
    }
  }
}