-/* Copyright (c) 2015. The SimGrid Team.
+/* Copyright (c) 2015-2021. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* This API hides all the callback and dynamic allocation hell from
* the used which can use C++ style functors and lambda expressions.
*/
-template<class F>
-xbt_automaton_propositional_symbol_t add_proposition(
- xbt_automaton_t a, const char* id, F f)
+template <class F> xbt_automaton_propositional_symbol_t add_proposition(const_xbt_automaton_t a, const char* id, F f)
{
- F* callback = new F(std::move(f));
+ auto* callback = new F(std::move(f));
return xbt_automaton_propositional_symbol_new_callback(
a, id,
[](void* callback) -> int { return (*(F*)callback)(); },