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