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