mcrl2::pbes_system::fixpoint_symbol¶
Include file:
#include "mcrl2/pbes/fixpoint_symbol.h
-
class
mcrl2::pbes_system::fixpoint_symbol¶ brief A fixpoint symbol
Public member functions¶
-
fixpoint_symbol()¶ brief Default constructor.
-
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.
