mcrl2/modal_formula/is_timed.h

Include file:

#include "mcrl2/modal_formula/is_timed.h"

add your file description here.

Classes

  • mcrl2::state_formulas::detail::is_timed_traverser

Functions

bool mcrl2::state_formulas::is_timed(const state_formula &x)

Checks if a state formula is timed.

Parameters:

  • x A state formula

Returns: True if a state formula is timed