Include file:
#include "mcrl2/bes/bdd_expression.h
mcrl2::bdd::
::
true_
brief The value true for bdd expressions
operator=
brief Default constructor.
brief Constructor. param term A term
Move semantics.
mcrl2::bdd::if_
mcrl2::bes::and_