mcrl2::bes::boolean_equation

Include file:

#include "mcrl2/bes/boolean_equation.h
class mcrl2::bes::boolean_equation

boolean equation.

Public types

type symbol_type

typedef for fixpoint_symbol

The symbol type of the equation.

type term_type

typedef for boolean_expression

The expression type of the equation.

type variable_type

typedef for boolean_variable

The variable type of the equation.

Protected attributes

boolean_expression m_formula

The formula of the equation.

fixpoint_symbol m_symbol

The fixpoint symbol of the equation.

boolean_variable m_variable

The predicate variable of the equation.

Public member functions

boolean_equation()

Constructor.

boolean_equation(const atermpp::aterm &t1)

Constructor.

Parameters:

  • t1 A term
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
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.

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.

void swap(boolean_equation &other)

Swaps the contents.

const fixpoint_symbol &symbol() const

Returns the fixpoint symbol of the equation.

Returns: The fixpoint symbol of the equation.

fixpoint_symbol &symbol()

Returns the fixpoint symbol of the equation.

Returns: The fixpoint symbol 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.

boolean_variable &variable()

Returns the boolean_equation_system variable of the equation.

Returns: The boolean_equation_system variable of the equation.