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 mcrl2/pbes/enumerator.h 10 : /// \brief add your file description here. 11 : 12 : #ifndef MCRL2_PBES_ENUMERATOR_H 13 : #define MCRL2_PBES_ENUMERATOR_H 14 : 15 : #include "mcrl2/data/enumerator.h" 16 : #include "mcrl2/pbes/pbes_expression.h" 17 : 18 : namespace mcrl2 { 19 : 20 : namespace pbes_system { 21 : 22 : struct is_not_false 23 : { 24 5 : bool operator()(const pbes_expression& x) const 25 : { 26 5 : return !is_false(x); 27 : } 28 : }; 29 : 30 : struct is_not_true 31 : { 32 11 : bool operator()(const pbes_expression& x) const 33 : { 34 11 : return !is_true(x); 35 : } 36 : }; 37 : 38 : } // namespace pbes_system 39 : 40 : } // namespace mcrl2 41 : 42 : #endif // MCRL2_PBES_ENUMERATOR_H