mcrl2/bes/boolean_equation.h

Include file:

#include "mcrl2/bes/boolean_equation.h"

add your file description here.

Typedefs

type fixpoint_symbol

typedef for pbes_system::fixpoint_symbol

The fixpoint symbol type.

Functions

atermpp::aterm_appl mcrl2::bes::boolean_equation_to_aterm(const boolean_equation &eqn)

Conversion to atermAppl.

Returns: The boolean equation converted to aterm format.

bool mcrl2::bes::operator!=(const boolean_equation &x, const boolean_equation &y)

inequality operator

bool mcrl2::bes::operator<(const boolean_equation &x, const boolean_equation &y)

less operator

std::ostream &mcrl2::bes::operator<<(std::ostream &out, const boolean_equation &x)

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

bool mcrl2::bes::operator==(const boolean_equation &x, const boolean_equation &y)

equality operator

std::string pp(const boolean_equation &x)
void mcrl2::bes::swap(boolean_equation &t1, boolean_equation &t2)

swap overload