Include file:
#include "mcrl2/bes/boolean_expression.h
mcrl2::bes::
::
not_
The not operator for boolean expressions.
Default constructor.
Constructor.
Parameters:
Move semantics.
operand
operator=
mcrl2::bes::local_fixpoints_algorithm
mcrl2::bes::or_