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