mcrl2::regular_formulas::trans_or_nil¶

Include file:

#include "mcrl2/modal_formula/regular_formula.h

class mcrl2::regular_formulas::trans_or_nil¶: brief The ‘trans or nil’ operator for regular formulas

Public member functions¶

const regular_formula &operand() const

trans_or_nil &operator=(const trans_or_nil&) noexcept = default¶

trans_or_nil &operator=(trans_or_nil&&) noexcept = default¶

trans_or_nil()¶: brief Default constructor.

trans_or_nil(const atermpp::aterm &term)¶: brief Constructor. param term A term

trans_or_nil(const regular_formula &operand)¶: brief Constructor.

trans_or_nil(const trans_or_nil&) noexcept = default¶: Move semantics.

trans_or_nil(trans_or_nil&&) noexcept = default¶