mcrl2::regular_formulas::trans_or_nil

Include file:

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

The ‘trans or nil’ operator for regular formulas.

Public member functions

const regular_formula &operand() const
trans_or_nil &operator=(const trans_or_nil&) noexcept = default
trans_or_nil &operator=(trans_or_nil&&) noexcept = default
trans_or_nil()

Default constructor.

trans_or_nil(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

trans_or_nil(const regular_formula &operand)

Constructor.

trans_or_nil(const trans_or_nil&) noexcept = default

Move semantics.

trans_or_nil(trans_or_nil&&) noexcept = default