fmcs  v0.2.1
ProductGenerator< Impl, V, O, Ts >::EmitType Struct Reference

Product of values (mapping from address to result type of underlying queryer) and distributions (mapping from address to first-encountered distribution at that address) More...

#include "query.hpp"

Public Attributes

DContainer distributions
 
VContainer values
 

Detailed Description

template<template< typename, typename, typename... > class Impl, typename V, typename O, typename... Ts>
struct ProductGenerator< Impl, V, O, Ts >::EmitType

Product of values (mapping from address to result type of underlying queryer) and distributions (mapping from address to first-encountered distribution at that address)


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