mcrl2/lps/symbolic_lts_io.hΒΆ

Include file:

#include "mcrl2/lps/symbolic_lts_io.h"