mcrl2::pbes_system::detail::subsitute_counterexample Struct Reference

#include <pbes_remove_counterexample_info.h>

Inheritance diagram for mcrl2::pbes_system::detail::subsitute_counterexample:

Public Types
using	super = pbes_expression_builder< subsitute_counterexample >
Public Types inherited from mcrl2::pbes_system::add_pbes_expressions< Builder, Derived >
using	super = Builder< Derived >

Public Member Functions
	subsitute_counterexample (bool replace_Lplus, bool replace_Lminus)
template<class T >
void	apply (T &result, const propositional_variable_instantiation &x)
Public Member Functions inherited from mcrl2::pbes_system::add_pbes_expressions< Builder, Derived >
void	update (pbes_system::pbes_equation &x)
void	update (pbes_system::pbes &x)
template<class T >
void	apply (T &result, const pbes_system::propositional_variable_instantiation &x)
template<class T >
void	apply (T &result, const pbes_system::not_ &x)
template<class T >
void	apply (T &result, const pbes_system::and_ &x)
template<class T >
void	apply (T &result, const pbes_system::or_ &x)
template<class T >
void	apply (T &result, const pbes_system::imp &x)
template<class T >
void	apply (T &result, const pbes_system::forall &x)
template<class T >
void	apply (T &result, const pbes_system::exists &x)
template<class T >
void	apply (T &result, const pbes_system::pbes_expression &x)

Public Attributes
bool	replace_Lplus
bool	replace_Lminus

Detailed Description

Definition at line 100 of file pbes_remove_counterexample_info.h.

Member Typedef Documentation

super

using mcrl2::pbes_system::detail::subsitute_counterexample::super = pbes_expression_builder<subsitute_counterexample>

Definition at line 102 of file pbes_remove_counterexample_info.h.

Constructor & Destructor Documentation

subsitute_counterexample()

mcrl2::pbes_system::detail::subsitute_counterexample::subsitute_counterexample ( bool  replace_Lplus, bool  replace_Lminus  )

inline

Definition at line 112 of file pbes_remove_counterexample_info.h.

Member Function Documentation

apply()

template<class T >

void mcrl2::pbes_system::detail::subsitute_counterexample::apply ( T &  result, const propositional_variable_instantiation &  x  )

inline

Definition at line 118 of file pbes_remove_counterexample_info.h.

Member Data Documentation

replace_Lminus

bool mcrl2::pbes_system::detail::subsitute_counterexample::replace_Lminus

Definition at line 109 of file pbes_remove_counterexample_info.h.

replace_Lplus

bool mcrl2::pbes_system::detail::subsitute_counterexample::replace_Lplus

Definition at line 108 of file pbes_remove_counterexample_info.h.

---

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

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