mcrl2/process/process_info.h

Include file:

#include "mcrl2/process/process_info.h"

add your file description here.

Functions

void mcrl2::process::process_info(const process_specification &procspec)

Prints information about a process specification.