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