mcrl2/pbes/is_bes.h¶

Include file:

#include "mcrl2/pbes/is_bes.h"

add your file description here.

Functions¶

bool mcrl2::pbes_system::is_bes(const T &x)¶

Returns true if a PBES object is in BES form.

Parameters:

x a PBES object