mcrl2/bes/boolean_equation.h

Include file:

#include "mcrl2/bes/boolean_equation.h"

add your file description here.

Typedefs

type mcrl2::bes::fixpoint_symbol

typedef for pbes_system::fixpoint_symbol

The fixpoint symbol type.

Functions

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)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

equality operator

void mcrl2::bes::swap(boolean_equation &t1, boolean_equation &t2)

brief swap overload