mcrl2::regular_formulas::trans

Include file:

#include "mcrl2/modal_formula/regular_formula.h

class mcrl2::regular_formulas::trans

The trans operator for regular formulas.

Public member functions

const regular_formula &operand() const

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

trans &operator=(trans&&) noexcept = default

trans()

Default constructor.

trans(const atermpp::aterm &term)

Constructor.

Parameters:

• term A term

trans(const regular_formula &operand)

Constructor.

trans(const trans&) noexcept = default

Move semantics.

trans(trans&&) noexcept = default