enumerate_quantifiers_rewriter.h File Reference

Go to the source code of this file.

Classes
struct	mcrl2::pres_system::detail::enumerate_quantifiers_builder< Derived, DataRewriter, MutableSubstitution >
struct	mcrl2::pres_system::detail::apply_enumerate_builder< Builder, DataRewriter, MutableSubstitution >
struct	mcrl2::pres_system::enumerate_quantifiers_rewriter
	An attempt for improving the efficiency. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::pres_system
	The main namespace for the PRES library.
namespace	mcrl2::pres_system::detail

Functions
template<template< class, class, class > class Builder, class DataRewriter , class MutableSubstitution >
apply_enumerate_builder< Builder, DataRewriter, MutableSubstitution >	mcrl2::pres_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)