LCOV - code coverage report
Current view: top level - bes/source - bes.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 14 21 66.7 %
Date: 2019-09-14 00:54:39 Functions: 7 14 50.0 %
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/find.h"
      13             : #include "mcrl2/bes/print.h"
      14             : #include "mcrl2/bes/index_traits.h"
      15             : 
      16             : namespace mcrl2
      17             : {
      18             : 
      19             : namespace bes
      20             : {
      21             : 
      22             : //--- start generated bes overloads ---//
      23           0 : std::string pp(const bes::and_& x) { return bes::pp< bes::and_ >(x); }
      24           5 : std::string pp(const bes::boolean_equation& x) { return bes::pp< bes::boolean_equation >(x); }
      25          16 : std::string pp(const bes::boolean_equation_system& x) { return bes::pp< bes::boolean_equation_system >(x); }
      26           2 : std::string pp(const bes::boolean_expression& x) { return bes::pp< bes::boolean_expression >(x); }
      27           0 : std::string pp(const bes::boolean_variable& x) { return bes::pp< bes::boolean_variable >(x); }
      28           0 : std::string pp(const bes::false_& x) { return bes::pp< bes::false_ >(x); }
      29           0 : std::string pp(const bes::imp& x) { return bes::pp< bes::imp >(x); }
      30           0 : std::string pp(const bes::not_& x) { return bes::pp< bes::not_ >(x); }
      31           0 : std::string pp(const bes::or_& x) { return bes::pp< bes::or_ >(x); }
      32           0 : std::string pp(const bes::true_& x) { return bes::pp< bes::true_ >(x); }
      33             : //--- end generated bes overloads ---//
      34             : 
      35           8 : static bool register_hooks()
      36             : {
      37           8 :   register_boolean_variable_hooks();
      38           8 :   return true;
      39             : }
      40           8 : static bool mcrl2_register_bes(register_hooks());
      41             : 
      42           3 : std::set<boolean_variable> boolean_equation_system::occurring_variables() const
      43             : {
      44           3 :   std::set<boolean_variable> result;
      45          11 :   for (const boolean_equation& eqn: m_equations)
      46             :   {
      47           8 :     find_boolean_variables(eqn.formula(), std::inserter(result, result.end()));
      48             :   }
      49           3 :   find_boolean_variables(m_initial_state, std::inserter(result, result.end()));
      50           3 :   return result;
      51             : }
      52             : 
      53             : } // namespace bes
      54             : 
      55          24 : } // namespace mcrl2

Generated by: LCOV version 1.12