mcrl2/lps/multi_action_parse.hΒΆ

Include file:

#include "mcrl2/lps/multi_action_parse.h"

add your file description here.