mcrl2::regular_formulas::alt =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/modal_formula/regular_formula.h .. cpp:class:: mcrl2::regular_formulas::alt \brief The alt operator for regular formulas Public member functions ------------------------------------------------------------------------------- .. cpp:function:: alt() \brief Default constructor. .. cpp:function:: alt(const atermpp::aterm &term) \brief Constructor. \param term A term .. cpp:function:: alt(const regular_formula &left, const regular_formula &right) \brief Constructor. .. cpp:function:: alt(const alt &) noexcept=default Move semantics. .. cpp:function:: alt(alt &&) noexcept=default .. cpp:function:: const regular_formula& left() const .. cpp:function:: alt& operator=(const alt &) noexcept=default .. cpp:function:: alt& operator=(alt &&) noexcept=default .. cpp:function:: const regular_formula& right() const