Include file:
#include "mcrl2/modal_formula/state_formula.h
mcrl2::state_formulas::
mu
¶The mu operator for state formulas.
assignments
() constmu
()¶Default constructor.
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.
name
() constoperand
() const