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.