mcrl2::pbes_system::and_ =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/pbes/pbes_expression.h .. cpp:class:: mcrl2::pbes_system::and_ \brief The and operator for pbes expressions Public member functions ------------------------------------------------------------------------------- .. cpp:function:: and_() \brief Default constructor. .. cpp:function:: and_(and_ &&) noexcept=default .. cpp:function:: and_(const and_ &) noexcept=default Move semantics. .. cpp:function:: and_(const atermpp::aterm &term) \brief Constructor. \param term A term .. cpp:function:: and_(const pbes_expression &left, const pbes_expression &right) \brief Constructor. .. cpp:function:: const pbes_expression& left() const .. cpp:function:: and_& operator=(and_ &&) noexcept=default .. cpp:function:: and_& operator=(const and_ &) noexcept=default .. cpp:function:: const pbes_expression& right() const