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