mcrl2/bes/to_bdd.h

Include file:

#include "mcrl2/bes/to_bdd.h"

Convert a BES to BDD.

Functions

bool mcrl2::bes::bdd_equal(const boolean_expression &x, const boolean_expression &y)

static mcrl2::bdd::bdd_expression mcrl2::bes::to_bdd(const boolean_expression &b)