mcrl2::state_formulas::state_formula¶

Include file:

#include "mcrl2/modal_formula/state_formula.h

class mcrl2::state_formulas::state_formula¶: brief A state formula

Public member functions¶

bool has_time() const

Returns true if the formula is timed.

Returns: True if the formula is timed.

state_formula &operator=(const state_formula&) noexcept = default¶

state_formula &operator=(state_formula&&) noexcept = default¶

state_formula()¶: brief Default constructor.

state_formula(const atermpp::aterm &term)¶: brief Constructor. param term A term

state_formula(const data::data_expression &x)¶: brief Constructor.

state_formula(const data::untyped_data_parameter &x)¶: brief Constructor.

state_formula(const state_formula&) noexcept = default¶: Move semantics.

state_formula(state_formula&&) noexcept = default¶