mcrl2::regular_formulas::seq

Include file:

#include "mcrl2/modal_formula/regular_formula.h

class mcrl2::regular_formulas::seq

The seq operator for regular formulas.

Public member functions

const regular_formula &left() const

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

seq &operator=(seq&&) noexcept = default

const regular_formula &right() const

seq()

Default constructor.

seq(const atermpp::aterm &term)

Constructor.

Parameters:

• term A term

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

Constructor.

seq(const seq&) noexcept = default

Move semantics.

seq(seq&&) noexcept = default