// ----------------------
// --- ecc_examples.h ---
// ----------------------

#ifndef _ECC_EXAMPLES_H_
#define _ECC_EXAMPLES_H_

#ifdef __cplusplus
extern "C" {
#endif

void init_forme1(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme2(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme3(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme4(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
    
void init_forme_backdoor1(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor2(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor3(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor1b(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor2b(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor3b(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);

void init_forme_LSL_backdoor1b(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_LSL_backdoor2b(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_LSL_backdoor3b(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);

void init_forme_backdoor7(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor8(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor9(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor10(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor11(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor12(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor13(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_selkow_backdoor41(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_selkow_backdoor42(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_selkow_backdoor43(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
    
void init_forme_backdoor_rampe4(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_backdoor_rampe5(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);

void init_formeM(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_formeU(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);

void init_forme_Bailey1(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey2(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey3(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey4(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey5(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey6(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey6b(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey7(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey8(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey9(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey10a(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey10b(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey10c(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);

void init_forme_Bailey4_v1(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey5_(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey6_(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey7_(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_Bailey10_(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);

void init_forme_ipvs_1(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);
void init_forme_ipvs_2(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);

void init_forme_boulon1(uint8 ***X0, int *i0, int *i1, int *j0, int *j1);

#ifdef __cplusplus
}
#endif

#endif // _ECC_EXAMPLES_H_