Include file:
#include "mcrl2/bes/boolean_expression.h
mcrl2::bes::
imp
¶brief The implication operator for boolean expressions
imp
()¶brief Default constructor.
imp
(const boolean_expression &left, const boolean_expression &right)¶brief Constructor.
left
() constright
() const