mcrl2::pbes_system::not_¶

Include file:

#include "mcrl2/pbes/pbes_expression.h

class mcrl2::pbes_system::not_¶: brief The not operator for pbes expressions

Public member functions¶

not_(): brief Default constructor.

not_(const atermpp::aterm &term): brief Constructor. param term A term

not_(const not_&) noexcept = default: Move semantics.

not_(const pbes_expression &operand)¶: brief Constructor.

not_(not_&&) noexcept = default

const pbes_expression &operand() const

not_ &operator=(const not_&) noexcept = default

not_ &operator=(not_&&) noexcept = default