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 mu&) noexcept = default¶: Move semantics.

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

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¶