mcrl2::regular_formulas::untyped_regular_formula¶

Include file:

#include "mcrl2/modal_formula/regular_formula.h

class mcrl2::regular_formulas::untyped_regular_formula¶: brief An untyped regular formula or action formula

Public member functions¶

const regular_formula &left() const

const core::identifier_string &name() const

untyped_regular_formula &operator=(const untyped_regular_formula&) noexcept = default¶

untyped_regular_formula &operator=(untyped_regular_formula&&) noexcept = default¶

const regular_formula &right() const

untyped_regular_formula()¶: brief Default constructor.

untyped_regular_formula(const atermpp::aterm &term)¶: brief Constructor. param term A term

untyped_regular_formula(const core::identifier_string &name, const regular_formula &left, const regular_formula &right)¶: brief Constructor.

untyped_regular_formula(const std::string &name, const regular_formula &left, const regular_formula &right)¶: brief Constructor.

untyped_regular_formula(const untyped_regular_formula&) noexcept = default¶: Move semantics.

untyped_regular_formula(untyped_regular_formula&&) noexcept = default¶