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