mcrl2/process/is_communicating_lpe.h

Include file:

#include "mcrl2/process/is_communicating_lpe.h"

add your file description here.

Classes

  • mcrl2::process::detail::communicating_lpe_traverser

Functions

bool mcrl2::process::is_communicating_lpe(const process::process_expression &x)

Returns true if x is in communicating LPE format.