The probability $\max_{dd} \mathrm{eadp}^{F}(da \rightarrow dd)$ with user-provided input. More...

#include "common.hh"
#include "adp-xor3.hh"
#include "tea.hh"
#include "eadp-tea-f.hh"

Detailed Description

The probability $\max_{dd} \mathrm{eadp}^{F}(da \rightarrow dd)$ with user-provided input.

Author: V.Velichkov, vesse.nosp@m.lin..nosp@m.velic.nosp@m.hkov.nosp@m.@uni..nosp@m.lu

Function Documentation

int main ( )

Main function for the $\max_{dd}~\mathrm{eadp}^{F}$ program.

void max_eadp_tea_f_program ( )

Program for computing $\max_{dd}~\mathrm{eadp}^{F}$ with user-provided input.