Robuta

https://mcrl2.org/web/doxygen/structmcrl2_1_1pbes__system_1_1detail_1_1find__propositional__variables__traverser.html mCRL2: mcrl2::pbes_system::detail::find_propositional_variables_traverser Traverser,... propositional variables system detail find traverser