mcrl2/bes/simplify_rewriter.h

Include file:

#include "mcrl2/bes/simplify_rewriter.h"

Classes

• mcrl2::bes::detail::add_simplify
• mcrl2::bes::detail::simplify_builder
• mcrl2::bes::simplify_rewriter