Include file:
#include "mcrl2/bes/boolean_expression.h
mcrl2::bes::
::
false_
The value false for boolean expressions.
Default constructor.
Constructor.
Parameters:
term A term
Move semantics.
operator=
mcrl2::bes::detail::standard_form_traverser
mcrl2::bes::imp