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