mcrl2::regular_formulas::untyped_regular_formula

Include file:

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

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

Default constructor.

untyped_regular_formula(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
untyped_regular_formula(const core::identifier_string &name, const regular_formula &left, const regular_formula &right)

Constructor.

untyped_regular_formula(const std::string &name, const regular_formula &left, const regular_formula &right)

Constructor.

untyped_regular_formula(const untyped_regular_formula&) noexcept = default

Move semantics.

untyped_regular_formula(untyped_regular_formula&&) noexcept = default