mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h

Include file:

#include "mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h"

add your file description here.

Classes

  • mcrl2::pbes_system::detail::apply_enumerate_builder
  • mcrl2::pbes_system::detail::enumerate_quantifiers_builder
  • mcrl2::pbes_system::enumerate_quantifiers_rewriter

Functions

apply_enumerate_builder<Builder, DataRewriter, MutableSubstitution> mcrl2::pbes_system::detail::make_apply_enumerate_builder(const DataRewriter &R, MutableSubstitution &sigma, const data::data_specification &dataspec, data::enumerator_identifier_generator &id_generator, bool enumerate_infinite_sorts)