mcrl2/lps/next_state_generator.h

Include file:

#include "mcrl2/lps/next_state_generator.h"

Classes