mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
mcrl2::pbes_system::detail::apply_enumerate_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution > Struct Template Reference

#include <enumerate_quantifiers_rewriter.h>

Inheritance diagram for mcrl2::pbes_system::detail::apply_enumerate_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >:

Public Types

using super = Builder< apply_enumerate_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >, DataRewriter, MutableSubstitution, PbesSubstitution >
 

Public Member Functions

 apply_enumerate_builder (const DataRewriter &R, MutableSubstitution &sigma, const PbesSubstitution &sigma_pbes, const data::data_specification &dataspec, data::enumerator_identifier_generator &id_generator, const enumerate_quantifiers_mode enum_mode)
 

Detailed Description

template<template< class, class, class, class > class Builder, class DataRewriter, class MutableSubstitution, class PbesSubstitution = no_substitution>
struct mcrl2::pbes_system::detail::apply_enumerate_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >

Definition at line 276 of file enumerate_quantifiers_rewriter.h.

Member Typedef Documentation

◆ super

template<template< class, class, class, class > class Builder, class DataRewriter , class MutableSubstitution , class PbesSubstitution = no_substitution>
using mcrl2::pbes_system::detail::apply_enumerate_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >::super = Builder<apply_enumerate_builder<Builder, DataRewriter, MutableSubstitution, PbesSubstitution>, DataRewriter, MutableSubstitution, PbesSubstitution>

Definition at line 278 of file enumerate_quantifiers_rewriter.h.

Constructor & Destructor Documentation

◆ apply_enumerate_builder()

template<template< class, class, class, class > class Builder, class DataRewriter , class MutableSubstitution , class PbesSubstitution = no_substitution>
mcrl2::pbes_system::detail::apply_enumerate_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >::apply_enumerate_builder ( const DataRewriter &  R,
MutableSubstitution &  sigma,
const PbesSubstitution &  sigma_pbes,
const data::data_specification &  dataspec,
data::enumerator_identifier_generator &  id_generator,
const enumerate_quantifiers_mode  enum_mode 
)
inline

Definition at line 285 of file enumerate_quantifiers_rewriter.h.

The documentation for this struct was generated from the following file: