mcrl2::process::choice

Include file:

#include "mcrl2/process/process_expression.h
class mcrl2::process::choice

The choice operator.

Public member functions

choice()

Default constructor.

choice(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

choice(const process_expression &left, const process_expression &right)

Constructor.

choice(const choice&) noexcept = default

Move semantics.

choice(choice&&) noexcept = default
const process_expression &left() const
choice &operator=(const choice&) noexcept = default
choice &operator=(choice&&) noexcept = default
const process_expression &right() const