mcrl2::bes::boolean_equation

Include file:

#include "mcrl2/bes/boolean_equation.h

class mcrl2::bes::boolean_equation

boolean equation.

Public types

type mcrl2::bes::boolean_equation::symbol_type

typedef for fixpoint_symbol

The symbol type of the equation.

type mcrl2::bes::boolean_equation::term_type

typedef for boolean_expression

The expression type of the equation.

type mcrl2::bes::boolean_equation::variable_type

typedef for boolean_variable

The variable type of the equation.

Protected attributes

boolean_expression mcrl2::bes::boolean_equation::m_formula

The formula of the equation.

fixpoint_symbol mcrl2::bes::boolean_equation::m_symbol

The fixpoint symbol of the equation.

boolean_variable mcrl2::bes::boolean_equation::m_variable

The predicate variable of the equation.

Public member functions

boolean_equation()

Constructor.

boolean_equation(const atermpp::aterm_appl &t)

Constructor.

Constructor.

Parameters:

• t A term

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

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.

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.

void swap(boolean_equation &other)

Swaps the contents.

fixpoint_symbol &symbol()

Returns the fixpoint symbol of the equation.

Returns: The fixpoint symbol of the equation.

const fixpoint_symbol &symbol() const

Returns the fixpoint symbol of the equation.

Returns: The fixpoint symbol of the equation.

boolean_variable &variable()

Returns the boolean_equation_system variable of the equation.

Returns: The boolean_equation_system variable of the equation.

const boolean_variable &variable() const

Returns the boolean_equation_system variable of the equation.

Returns: The boolean_equation_system variable of the equation.