mcrl2::pbes_system::fixpoint_symbol

Include file:

#include "mcrl2/pbes/fixpoint_symbol.h
class mcrl2::pbes_system::fixpoint_symbol

A fixpoint symbol.

Public member functions

fixpoint_symbol()

Default constructor.

fixpoint_symbol(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
fixpoint_symbol(const fixpoint_symbol&) noexcept = default

Move semantics.

fixpoint_symbol(fixpoint_symbol&&) noexcept = default
bool is_mu() const

Returns true if the symbol is mu.

Returns: True if the symbol is mu.

bool is_nu() const

Returns true if the symbol is nu.

Returns: True if the symbol is nu.

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

Public static member functions

static fixpoint_symbol mu()

Returns the mu symbol.

Returns: The mu symbol.

static fixpoint_symbol nu()

Returns the nu symbol.

Returns: The nu symbol.