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