mcrl2/lps/symbolic_lts_bisim.hΒΆ

Include file:

#include "mcrl2/lps/symbolic_lts_bisim.h"