mcrl2::state_formulas::mu

Include file:

#include "mcrl2/modal_formula/state_formula.h
class mcrl2::state_formulas::mu

The mu operator for state formulas.

Public member functions

const data::assignment_list &assignments() const
mu()

Default constructor.

mu(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
mu(const core::identifier_string &name, const data::assignment_list &assignments, const state_formula &operand)

Constructor.

mu(const std::string &name, const data::assignment_list &assignments, const state_formula &operand)

Constructor.

mu(const mu&) noexcept = default

Move semantics.

mu(mu&&) noexcept = default
const core::identifier_string &name() const
const state_formula &operand() const
mu &operator=(const mu&) noexcept = default
mu &operator=(mu&&) noexcept = default