mcrl2::regular_formulas::trans

Include file:

#include "mcrl2/modal_formula/regular_formula.h
class mcrl2::regular_formulas::trans

brief 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()

brief Default constructor.

trans(const atermpp::aterm &term)

brief Constructor. param term A term

trans(const regular_formula &operand)

brief Constructor.

trans(const trans&) noexcept = default

Move semantics.

trans(trans&&) noexcept = default