mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::state_formulas::detail::is_timed_traverser Struct Reference

Function that determines if a state formula is time dependent. More...

#include <is_timed.h>

Inheritance diagram for mcrl2::state_formulas::detail::is_timed_traverser:
mcrl2::state_formulas::action_label_traverser< is_timed_traverser > mcrl2::state_formulas::add_traverser_action_labels< Traverser, Derived >

Public Types

using super = action_label_traverser< is_timed_traverser >
 
- Public Types inherited from mcrl2::state_formulas::add_traverser_action_labels< Traverser, Derived >
using super = Traverser< Derived >
 

Public Member Functions

void apply (const data::data_expression &)
 
void apply (const data::untyped_data_parameter &)
 
void apply (const process::untyped_multi_action &)
 
void enter (const delay_timed &)
 
void enter (const yaled_timed &)
 
void enter (const action_formulas::at &)
 
- Public Member Functions inherited from mcrl2::state_formulas::add_traverser_action_labels< Traverser, Derived >
void apply (const state_formulas::true_ &x)
 
void apply (const state_formulas::false_ &x)
 
void apply (const state_formulas::not_ &x)
 
void apply (const state_formulas::minus &x)
 
void apply (const state_formulas::and_ &x)
 
void apply (const state_formulas::or_ &x)
 
void apply (const state_formulas::imp &x)
 
void apply (const state_formulas::plus &x)
 
void apply (const state_formulas::const_multiply &x)
 
void apply (const state_formulas::const_multiply_alt &x)
 
void apply (const state_formulas::forall &x)
 
void apply (const state_formulas::exists &x)
 
void apply (const state_formulas::infimum &x)
 
void apply (const state_formulas::supremum &x)
 
void apply (const state_formulas::sum &x)
 
void apply (const state_formulas::must &x)
 
void apply (const state_formulas::may &x)
 
void apply (const state_formulas::yaled &x)
 
void apply (const state_formulas::yaled_timed &x)
 
void apply (const state_formulas::delay &x)
 
void apply (const state_formulas::delay_timed &x)
 
void apply (const state_formulas::variable &x)
 
void apply (const state_formulas::nu &x)
 
void apply (const state_formulas::mu &x)
 
void apply (const state_formulas::state_formula_specification &x)
 
void apply (const state_formulas::state_formula &x)
 

Public Attributes

bool result = false
 

Detailed Description

Function that determines if a state formula is time dependent.

Definition at line 24 of file is_timed.h.

Member Typedef Documentation

◆ super

using mcrl2::state_formulas::detail::is_timed_traverser::super = action_label_traverser<is_timed_traverser>

Definition at line 26 of file is_timed.h.

Member Function Documentation

◆ apply() [1/3]

void mcrl2::state_formulas::detail::is_timed_traverser::apply ( const data::data_expression &  )
inline

Definition at line 33 of file is_timed.h.

◆ apply() [2/3]

void mcrl2::state_formulas::detail::is_timed_traverser::apply ( const data::untyped_data_parameter &  )
inline

Definition at line 38 of file is_timed.h.

◆ apply() [3/3]

void mcrl2::state_formulas::detail::is_timed_traverser::apply ( const process::untyped_multi_action &  )
inline

Definition at line 43 of file is_timed.h.

◆ enter() [1/3]

void mcrl2::state_formulas::detail::is_timed_traverser::enter ( const action_formulas::at &  )
inline

Definition at line 58 of file is_timed.h.

◆ enter() [2/3]

void mcrl2::state_formulas::detail::is_timed_traverser::enter ( const delay_timed &  )
inline

Definition at line 48 of file is_timed.h.

◆ enter() [3/3]

void mcrl2::state_formulas::detail::is_timed_traverser::enter ( const yaled_timed &  )
inline

Definition at line 53 of file is_timed.h.

Member Data Documentation

◆ result

bool mcrl2::state_formulas::detail::is_timed_traverser::result = false

Definition at line 31 of file is_timed.h.

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