mcrl2::regular_formulas::alt

Include file:

#include "mcrl2/modal_formula/regular_formula.h

class mcrl2::regular_formulas::alt

brief The alt operator for regular formulas

Public member functions

alt()

brief Default constructor.

alt(alt&&) noexcept = default

alt(const alt&) noexcept = default

Move semantics.

alt(const atermpp::aterm &term)

brief Constructor. param term A term

alt(const regular_formula &left, const regular_formula &right)

brief Constructor.

const regular_formula &left() const

alt &operator=(alt&&) noexcept = default

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

const regular_formula &right() const