mcrl2::pbes_system::detail::has_propositional_variables_traverser Struct Reference

#include <has_propositional_variables.h>

Inheritance diagram for mcrl2::pbes_system::detail::has_propositional_variables_traverser:

Public Types
using	super = pbes_expression_traverser< has_propositional_variables_traverser >
Public Types inherited from mcrl2::pbes_system::add_traverser_pbes_expressions< Traverser, Derived >
using	super = Traverser< Derived >

Public Member Functions
void	enter (const propositional_variable_instantiation &)
Public Member Functions inherited from mcrl2::pbes_system::add_traverser_pbes_expressions< Traverser, Derived >
void	apply (const pbes_system::pbes_equation &x)
void	apply (const pbes_system::pbes &x)
void	apply (const pbes_system::propositional_variable_instantiation &x)
void	apply (const pbes_system::not_ &x)
void	apply (const pbes_system::and_ &x)
void	apply (const pbes_system::or_ &x)
void	apply (const pbes_system::imp &x)
void	apply (const pbes_system::forall &x)
void	apply (const pbes_system::exists &x)
void	apply (const pbes_system::pbes_expression &x)

Public Attributes
bool	result = false

Detailed Description

Definition at line 20 of file has_propositional_variables.h.

Member Typedef Documentation

super

using mcrl2::pbes_system::detail::has_propositional_variables_traverser::super = pbes_expression_traverser<has_propositional_variables_traverser>

Definition at line 22 of file has_propositional_variables.h.

Member Function Documentation

enter()

void mcrl2::pbes_system::detail::has_propositional_variables_traverser::enter ( const propositional_variable_instantiation &  )

inline

Definition at line 29 of file has_propositional_variables.h.

Member Data Documentation

result

bool mcrl2::pbes_system::detail::has_propositional_variables_traverser::result = false

Definition at line 27 of file has_propositional_variables.h.

---

The documentation for this struct was generated from the following file:

• pbes/include/mcrl2/pbes/detail/has_propositional_variables.h