mcrl2/process/is_guarded.h

Include file:

#include "mcrl2/process/is_guarded.h"

add your file description here.

Classes

• mcrl2::process::detail::is_guarded_traverser

Functions

bool mcrl2::process::is_guarded(const process_expression &x, const std::vector<process_equation> &equations)

Checks if a process expression is guarded.

Functions

bool is_guarded(const process_expression &x, const std::vector<process_equation> &equations, std::set<process_identifier> &W)