mcrl2::process::if_then_else¶
Include file:
#include "mcrl2/process/process_expression.h
-
class
mcrl2::process::if_then_else¶ The if-then-else operator.
Public member functions¶
-
const data::data_expression &
condition() const
-
const process_expression &
else_case() const¶
-
if_then_else()¶ Default constructor.
-
if_then_else(const data::data_expression &condition, const process_expression &then_case, const process_expression &else_case)¶ Constructor.
-
if_then_else(const if_then_else&) noexcept = default¶ Move semantics.
-
if_then_else(if_then_else&&) noexcept = default¶
-
if_then_else &
operator=(const if_then_else&) noexcept = default¶
-
if_then_else &
operator=(if_then_else&&) noexcept = default¶
-
const process_expression &
then_case() const
