mcrl2::pbes_system::bdd::and_
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/pbes/bdd.h

.. cpp:class:: mcrl2::pbes_system::bdd::and_

  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: bdd_node mcrl2::pbes_system::bdd::and_::m_left
  
  

  

.. cpp:member:: bdd_node mcrl2::pbes_system::bdd::and_::m_right
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: and_(bdd_node left, bdd_node right)
  
  

  

.. cpp:function:: const term& left() const
  
  

  

.. cpp:function:: std::string print(bool after) const override
  
  

  

.. cpp:function:: const term& right() const