Branch data     Line data    Source code

       1                 :            : #include <mutable/catalog/CostFunctionCout.hpp>
       2                 :            : 
       3                 :            : #include <mutable/catalog/Catalog.hpp>
       4                 :            : 
       5                 :            : 
       6                 :            : using namespace m;
       7                 :            : 
       8                 :            : 
       9                 :            : __attribute__((constructor(202)))
      10                 :          1 : static void register_cost_function()
      11                 :            : {
      12                 :          1 :     Catalog &C = Catalog::Get();
      13         [ -  + ]:          1 :     C.register_cost_function(
      14                 :          1 :         C.pool("CostFunctionCout"),
      15         [ +  - ]:          1 :         std::make_unique<CostFunctionCout>(),
      16                 :            :         "implementation of cost function C_out from Sophie Cluet and Guido Moerkotte"
      17                 :            :     );
      18                 :          1 : }