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