mcrl2::state_formulas::nu

Include file:

#include "mcrl2/modal_formula/state_formula.h

class mcrl2::state_formulas::nu

brief The nu operator for state formulas

Public member functions

const data::assignment_list &assignments() const

const core::identifier_string &name() const

nu()

brief Default constructor.

nu(const atermpp::aterm &term)

brief Constructor. param term A term

nu(const core::identifier_string &name, const data::assignment_list &assignments, const state_formula &operand)

brief Constructor.

nu(const nu&) noexcept = default

Move semantics.

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

brief Constructor.

nu(nu&&) noexcept = default

const state_formula &operand() const

nu &operator=(const nu&) noexcept = default

nu &operator=(nu&&) noexcept = default