lppl  v2.0.0

◆ to_pp()

template<typename I , typename O , typename... Ts>
pp_t<I, gr_output<O, Ts...>, Ts...> to_pp ( gpp_t< I, O, Ts... > &  f)

Convert a graph probabilistic program into a (record-based) probabilistic program.

The record-based PP will maintain the semantics of the GPP, but will additionally return a gr_pair created during its execution.

Template Parameters
IThe input type of the GPP
OThe output type of the GPP
TsThe distribution types contained in the GPP
Parameters
fthe GPP to convert to a PP
Returns
pp_t<I, gr_output<O, Ts...>, Ts...>