LCOV - code coverage report
Current view: top level - bes/source - bes.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 8 15 53.3 %
Date: 2019-06-26 00:32:26 Functions: 6 13 46.2 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Author(s): Wieger Wesselink
       2             : // Copyright: see the accompanying file COPYING or copy at
       3             : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING
       4             : //
       5             : // Distributed under the Boost Software License, Version 1.0.
       6             : // (See accompanying file LICENSE_1_0.txt or copy at
       7             : // http://www.boost.org/LICENSE_1_0.txt)
       8             : //
       9             : /// \file bes.cpp
      10             : /// \brief
      11             : 
      12             : #include "mcrl2/bes/print.h"
      13             : #include "mcrl2/bes/index_traits.h"
      14             : 
      15             : namespace mcrl2
      16             : {
      17             : 
      18             : namespace bes
      19             : {
      20             : 
      21             : //--- start generated bes overloads ---//
      22           0 : std::string pp(const bes::and_& x) { return bes::pp< bes::and_ >(x); }
      23           5 : std::string pp(const bes::boolean_equation& x) { return bes::pp< bes::boolean_equation >(x); }
      24          16 : std::string pp(const bes::boolean_equation_system& x) { return bes::pp< bes::boolean_equation_system >(x); }
      25           2 : std::string pp(const bes::boolean_expression& x) { return bes::pp< bes::boolean_expression >(x); }
      26           0 : std::string pp(const bes::boolean_variable& x) { return bes::pp< bes::boolean_variable >(x); }
      27           0 : std::string pp(const bes::false_& x) { return bes::pp< bes::false_ >(x); }
      28           0 : std::string pp(const bes::imp& x) { return bes::pp< bes::imp >(x); }
      29           0 : std::string pp(const bes::not_& x) { return bes::pp< bes::not_ >(x); }
      30           0 : std::string pp(const bes::or_& x) { return bes::pp< bes::or_ >(x); }
      31           0 : std::string pp(const bes::true_& x) { return bes::pp< bes::true_ >(x); }
      32             : //--- end generated bes overloads ---//
      33             : 
      34           7 : static bool register_hooks()
      35             : {
      36           7 :   register_boolean_variable_hooks();
      37           7 :   return true;
      38             : }
      39           7 : static bool mcrl2_register_bes(register_hooks());
      40             : 
      41             : } // namespace bes
      42             : 
      43          21 : } // namespace mcrl2

Generated by: LCOV version 1.12