mcrl2::state_formulas::nu

Include file:

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

The nu operator for state formulas.

Public member functions

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

Default constructor.

nu(const atermpp::aterm &term)

Constructor.

Parameters:

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

Constructor.

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

Constructor.

nu(const nu&) noexcept = default

Move semantics.

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