mcrl2/lps/disjointness_checker.h

Include file:

#include "mcrl2/lps/disjointness_checker.h"