mcrl2::process::choice¶

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::choice¶: brief The choice operator

Public member functions¶

choice()¶: brief Default constructor.

choice(choice&&) noexcept = default¶

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

choice(const choice&) noexcept = default¶: Move semantics.

choice(const process_expression &left, const process_expression &right)¶: brief Constructor.

const process_expression &left() const

choice &operator=(choice&&) noexcept = default¶

choice &operator=(const choice&) noexcept = default¶

const process_expression &right() const