mcrl2/bes/bdd_operations.h

Include file:

#include "mcrl2/bes/bdd_operations.h"

Operations on BDDs.

Functions

bdd_expression mcrl2::bdd::ordered_and(const bdd_expression &l, const bdd_expression &r)

bdd_expression mcrl2::bdd::ordered_or(const bdd_expression &l, const bdd_expression &r)