mcrl2::state_formulas::state_formula¶

Include file:

#include "mcrl2/modal_formula/state_formula.h

class mcrl2::state_formulas::state_formula¶: 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()¶: Default constructor.

state_formula(const atermpp::aterm &term)¶

Constructor.

Parameters:

term A term

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

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

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

state_formula(state_formula&&) noexcept = default¶