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