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