mcrl2/lps/is_well_typed.h

Include file:

#include "mcrl2/lps/is_well_typed.h"

add your file description here.

Classes

• mcrl2::lps::detail::lps_well_typed_checker

Functions

bool mcrl2::lps::detail::check_well_typedness(const T &x)

Checks well typedness of an LPS object, and will print error messages to stderr.

bool mcrl2::lps::detail::is_well_typed(const T &x)

Checks well typedness of an LPS object.