mcrl2/lps/lpsparunfoldlib.h

Include file:

#include "mcrl2/lps/lpsparunfoldlib.h"

Classes