mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::state_formulas::detail::state_variable_negator< Derived > Struct Template Reference

Visitor that negates propositional variable instantiations with a given name. More...

#include <negate_variables.h>

Inheritance diagram for mcrl2::state_formulas::detail::state_variable_negator< Derived >:
mcrl2::state_formulas::state_formula_builder< Derived > mcrl2::state_formulas::add_state_formula_expressions< state_formulas::state_formula_builder_base, Derived >

Public Types

typedef state_formulas::state_formula_builder< Derived > super
 
- Public Types inherited from mcrl2::state_formulas::add_state_formula_expressions< state_formulas::state_formula_builder_base, Derived >
typedef state_formulas::state_formula_builder_base< Derived > super
 

Public Member Functions

 state_variable_negator (const core::identifier_string &name, bool quantitative)
 
template<class T >
void apply (T &result, const variable &x)
 Visit variable node.
 
- Public Member Functions inherited from mcrl2::state_formulas::add_state_formula_expressions< state_formulas::state_formula_builder_base, Derived >
void apply (T &result, const state_formulas::true_ &x)
 
void apply (T &result, const state_formulas::false_ &x)
 
void apply (T &result, const state_formulas::not_ &x)
 
void apply (T &result, const state_formulas::minus &x)
 
void apply (T &result, const state_formulas::and_ &x)
 
void apply (T &result, const state_formulas::or_ &x)
 
void apply (T &result, const state_formulas::imp &x)
 
void apply (T &result, const state_formulas::plus &x)
 
void apply (T &result, const state_formulas::const_multiply &x)
 
void apply (T &result, const state_formulas::const_multiply_alt &x)
 
void apply (T &result, const state_formulas::forall &x)
 
void apply (T &result, const state_formulas::exists &x)
 
void apply (T &result, const state_formulas::infimum &x)
 
void apply (T &result, const state_formulas::supremum &x)
 
void apply (T &result, const state_formulas::sum &x)
 
void apply (T &result, const state_formulas::must &x)
 
void apply (T &result, const state_formulas::may &x)
 
void apply (T &result, const state_formulas::yaled &x)
 
void apply (T &result, const state_formulas::yaled_timed &x)
 
void apply (T &result, const state_formulas::delay &x)
 
void apply (T &result, const state_formulas::delay_timed &x)
 
void apply (T &result, const state_formulas::variable &x)
 
void apply (T &result, const state_formulas::nu &x)
 
void apply (T &result, const state_formulas::mu &x)
 
void apply (T &result, const state_formulas::state_formula &x)
 
void update (state_formulas::state_formula_specification &x)
 

Public Attributes

core::identifier_string m_name
 
bool m_quantitative
 

Detailed Description

template<typename Derived>
struct mcrl2::state_formulas::detail::state_variable_negator< Derived >

Visitor that negates propositional variable instantiations with a given name.

Definition at line 28 of file negate_variables.h.

Member Typedef Documentation

◆ super

template<typename Derived >
typedef state_formulas::state_formula_builder<Derived> mcrl2::state_formulas::detail::state_variable_negator< Derived >::super

Definition at line 30 of file negate_variables.h.

Constructor & Destructor Documentation

◆ state_variable_negator()

template<typename Derived >
mcrl2::state_formulas::detail::state_variable_negator< Derived >::state_variable_negator ( const core::identifier_string &  name,
bool  quantitative 
)
inline

Definition at line 36 of file negate_variables.h.

Member Function Documentation

◆ apply()

template<typename Derived >
template<class T >
void mcrl2::state_formulas::detail::state_variable_negator< Derived >::apply ( T &  result,
const variable &  x 
)
inline

Visit variable node.

Parameters
xA term.
Returns
The result of visiting the node.

Definition at line 45 of file negate_variables.h.

Member Data Documentation

◆ m_name

template<typename Derived >
core::identifier_string mcrl2::state_formulas::detail::state_variable_negator< Derived >::m_name

Definition at line 33 of file negate_variables.h.

◆ m_quantitative

template<typename Derived >
bool mcrl2::state_formulas::detail::state_variable_negator< Derived >::m_quantitative

Definition at line 34 of file negate_variables.h.

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