mcrl2::bes::boolean_equation
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/bes/boolean_equation.h

.. cpp:class:: mcrl2::bes::boolean_equation

  boolean equation. 

  

Public types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::bes::boolean_equation::symbol_type

  typedef for :cpp:type:`fixpoint_symbol`
  
  The symbol type of the equation. 

  

.. cpp:type:: mcrl2::bes::boolean_equation::term_type

  typedef for :cpp:type:`boolean_expression`
  
  The expression type of the equation. 

  

.. cpp:type:: mcrl2::bes::boolean_equation::variable_type

  typedef for :cpp:type:`boolean_variable`
  
  The variable type of the equation. 

  

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

.. cpp:member:: boolean_expression mcrl2::bes::boolean_equation::m_formula
  
  The formula of the equation. 

  

.. cpp:member:: fixpoint_symbol mcrl2::bes::boolean_equation::m_symbol
  
  The fixpoint symbol of the equation. 

  

.. cpp:member:: boolean_variable mcrl2::bes::boolean_equation::m_variable
  
  The predicate variable of the equation. 

  

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

.. cpp:function:: boolean_equation()
  
  Constructor. 

  

.. cpp:function:: boolean_equation(const atermpp::aterm_appl &t)
  
  Constructor. 

  Constructor. 
  
  **Parameters:**

  * **t** A term 



.. cpp:function:: boolean_equation(fixpoint_symbol symbol, boolean_variable variable, boolean_expression expr)
  
  Constructor. 

  
  
  **Parameters:**

  * **symbol** A fixpoint symbol 

  * **variable** A boolean variable 

  * **expr** A boolean expression 



.. cpp:function:: const boolean_expression& formula() const
  
  Returns the predicate formula on the right hand side of the equation. 

  
      
  **Returns:** The predicate formula on the right hand side of the equation. 

.. cpp:function:: boolean_expression& formula()
  
  Returns the predicate formula on the right hand side of the equation. 

  
      
  **Returns:** The predicate formula on the right hand side of the equation. 

.. cpp:function:: void swap(boolean_equation &other)
  
  Swaps the contents. 

  

.. cpp:function:: const fixpoint_symbol& symbol() const
  
  Returns the fixpoint symbol of the equation. 

  
      
  **Returns:** The fixpoint symbol of the equation. 

.. cpp:function:: fixpoint_symbol& symbol()
  
  Returns the fixpoint symbol of the equation. 

  
      
  **Returns:** The fixpoint symbol of the equation. 

.. cpp:function:: const boolean_variable& variable() const
  
  Returns the boolean_equation_system variable of the equation. 

  
      
  **Returns:** The boolean_equation_system variable of the equation. 

.. cpp:function:: boolean_variable& variable()
  
  Returns the boolean_equation_system variable of the equation. 

  
      
  **Returns:** The boolean_equation_system variable of the equation.