/* This file was generated by lus2lic version master.668 (35901e970a0c377cc36d6437dcbc61beb8001b54). */
/*  lus2lic -2c convertible.lus -n main */
/* on ovaz the 27/10/2016 at 11:39:07 */

#include <stdlib.h>
#include <string.h>

#include "lustre_types.h"
#include "lustre_consts.h"

#ifndef _convertible_main_H_FILE
#define _convertible_main_H_FILE
// Memoryless soc ctx typedef 
// Memoryfull soc ctx typedef 
/* Lustre_pre_ctx */
typedef struct {
   /*Memory cell*/
   convertible_hood_state _memory ;
} Lustre_pre_ctx_type;

/* Lustre_arrow_ctx */
typedef struct {
   /*Memory cell*/
   _boolean _memory ;
} Lustre_arrow_ctx_type;

/* Lustre_pre_2_ctx */
typedef struct {
   /*Memory cell*/
   convertible_hood_speed_state _memory ;
} Lustre_pre_2_ctx_type;

/* Lustre_arrow_2_ctx */
typedef struct {
   /*Memory cell*/
   _boolean _memory ;
} Lustre_arrow_2_ctx_type;

/* Lustre_pre_3_ctx */
typedef struct {
   /*Memory cell*/
   _real _memory ;
} Lustre_pre_3_ctx_type;

/* Lustre_arrow_3_ctx */
typedef struct {
   /*Memory cell*/
   _boolean _memory ;
} Lustre_arrow_3_ctx_type;

/* convertible_hood_speed_ctx */
typedef struct {
   /*INSTANCES*/
   Lustre_pre_2_ctx_type Lustre_pre_2_ctx_tab[1];
   Lustre_pre_3_ctx_type Lustre_pre_3_ctx_tab[2];
   Lustre_arrow_2_ctx_type Lustre_arrow_2_ctx_tab[1];
   Lustre_arrow_3_ctx_type Lustre_arrow_3_ctx_tab[2];
} convertible_hood_speed_ctx_type;

/* convertible_hood_ctx */
typedef struct {
   /*INSTANCES*/
   convertible_hood_speed_ctx_type convertible_hood_speed_ctx_tab[1];
   Lustre_pre_ctx_type Lustre_pre_ctx_tab[1];
   Lustre_arrow_ctx_type Lustre_arrow_ctx_tab[1];
} convertible_hood_ctx_type;

/* Lustre_arrow_4_ctx */
typedef struct {
   /*Memory cell*/
   _boolean _memory ;
} Lustre_arrow_4_ctx_type;

/* Lustre_pre_4_ctx */
typedef struct {
   /*Memory cell*/
   _integer _memory ;
} Lustre_pre_4_ctx_type;

/* Lustre_pre_5_ctx */
typedef struct {
   /*Memory cell*/
   _real _memory[50] ;
} Lustre_pre_5_ctx_type;

/* Lustre_arrow_5_ctx */
typedef struct {
   /*Memory cell*/
   _boolean _memory ;
} Lustre_arrow_5_ctx_type;

/* sum_50_0d0_ctx */
typedef struct {
   /*INSTANCES*/
   Lustre_pre_5_ctx_type Lustre_pre_5_ctx_tab[1];
   Lustre_pre_4_ctx_type Lustre_pre_4_ctx_tab[1];
   Lustre_arrow_5_ctx_type Lustre_arrow_5_ctx_tab[1];
   Lustre_arrow_4_ctx_type Lustre_arrow_4_ctx_tab[1];
} sum_50_0d0_ctx_type;

/* sum_50_0d1_ctx */
typedef struct {
   /*INSTANCES*/
   Lustre_pre_5_ctx_type Lustre_pre_5_ctx_tab[1];
   Lustre_pre_4_ctx_type Lustre_pre_4_ctx_tab[1];
   Lustre_arrow_5_ctx_type Lustre_arrow_5_ctx_tab[1];
   Lustre_arrow_4_ctx_type Lustre_arrow_4_ctx_tab[1];
} sum_50_0d1_ctx_type;

/* convertible_speed_kmh_ctx */
typedef struct {
   /*INSTANCES*/
   sum_50_0d1_ctx_type sum_50_0d1_ctx_tab[1];
   sum_50_0d0_ctx_type sum_50_0d0_ctx_tab[1];
   Lustre_pre_3_ctx_type Lustre_pre_3_ctx_tab[3];
   Lustre_arrow_3_ctx_type Lustre_arrow_3_ctx_tab[3];
} convertible_speed_kmh_ctx_type;

/* Lustre_pre_6_ctx */
typedef struct {
   /*Memory cell*/
   convertible_vehicle_state _memory ;
} Lustre_pre_6_ctx_type;

/* Lustre_arrow_6_ctx */
typedef struct {
   /*Memory cell*/
   _boolean _memory ;
} Lustre_arrow_6_ctx_type;

/* convertible_vehicle_ctx */
typedef struct {
   /*INSTANCES*/
   Lustre_pre_6_ctx_type Lustre_pre_6_ctx_tab[1];
   Lustre_arrow_6_ctx_type Lustre_arrow_6_ctx_tab[1];
} convertible_vehicle_ctx_type;

/* convertible_may_collide_ctx */
typedef struct {
   /*INSTANCES*/
   Lustre_pre_3_ctx_type Lustre_pre_3_ctx_tab[1];
   Lustre_arrow_3_ctx_type Lustre_arrow_3_ctx_tab[1];
} convertible_may_collide_ctx_type;

/* convertible_main_ctx */
typedef struct {
   /*INSTANCES*/
   convertible_vehicle_ctx_type convertible_vehicle_ctx_tab[1];
   convertible_speed_kmh_ctx_type convertible_speed_kmh_ctx_tab[1];
   convertible_may_collide_ctx_type convertible_may_collide_ctx_tab[1];
   convertible_hood_ctx_type convertible_hood_ctx_tab[1];
} convertible_main_ctx_type;

void Lustre_arrow_4_ctx_reset(Lustre_arrow_4_ctx_type* ctx);
Lustre_arrow_4_ctx_type* Lustre_arrow_4_ctx_new_ctx();
void Lustre_arrow_4_step(_integer ,_integer ,_integer *,Lustre_arrow_4_ctx_type*);

void Lustre_arrow_3_ctx_reset(Lustre_arrow_3_ctx_type* ctx);
Lustre_arrow_3_ctx_type* Lustre_arrow_3_ctx_new_ctx();
void Lustre_arrow_3_step(_real ,_real ,_real *,Lustre_arrow_3_ctx_type*);

void Lustre_arrow_2_ctx_reset(Lustre_arrow_2_ctx_type* ctx);
Lustre_arrow_2_ctx_type* Lustre_arrow_2_ctx_new_ctx();
void Lustre_arrow_2_step(convertible_hood_speed_state ,convertible_hood_speed_state ,convertible_hood_speed_state *,Lustre_arrow_2_ctx_type*);

void Lustre_arrow_ctx_reset(Lustre_arrow_ctx_type* ctx);
Lustre_arrow_ctx_type* Lustre_arrow_ctx_new_ctx();
void Lustre_arrow_step(convertible_hood_state ,convertible_hood_state ,convertible_hood_state *,Lustre_arrow_ctx_type*);

void Lustre_arrow_6_ctx_reset(Lustre_arrow_6_ctx_type* ctx);
Lustre_arrow_6_ctx_type* Lustre_arrow_6_ctx_new_ctx();
void Lustre_arrow_6_step(convertible_vehicle_state ,convertible_vehicle_state ,convertible_vehicle_state *,Lustre_arrow_6_ctx_type*);

void Lustre_arrow_5_ctx_reset(Lustre_arrow_5_ctx_type* ctx);
Lustre_arrow_5_ctx_type* Lustre_arrow_5_ctx_new_ctx();
void Lustre_arrow_5_step(_real [50],_real [50],_real [50]/*out*/,Lustre_arrow_5_ctx_type*);

void Lustre_eq_step(_integer ,_integer ,_boolean *);

void Lustre_eq_2_step(_real ,_real ,_boolean *);

void Lustre_eq_3_step(convertible_hood_state ,convertible_hood_state ,_boolean *);

void Lustre_hat_step(_real ,_real [50]/*out*/);

void Lustre_pre_4_ctx_reset(Lustre_pre_4_ctx_type* ctx);
Lustre_pre_4_ctx_type* Lustre_pre_4_ctx_new_ctx();
void Lustre_pre_4_get(_integer *,Lustre_pre_4_ctx_type*);

void Lustre_pre_4_set(_integer ,Lustre_pre_4_ctx_type*);

void Lustre_pre_3_ctx_reset(Lustre_pre_3_ctx_type* ctx);
Lustre_pre_3_ctx_type* Lustre_pre_3_ctx_new_ctx();
void Lustre_pre_3_get(_real *,Lustre_pre_3_ctx_type*);

void Lustre_pre_3_set(_real ,Lustre_pre_3_ctx_type*);

void Lustre_pre_2_ctx_reset(Lustre_pre_2_ctx_type* ctx);
Lustre_pre_2_ctx_type* Lustre_pre_2_ctx_new_ctx();
void Lustre_pre_2_get(convertible_hood_speed_state *,Lustre_pre_2_ctx_type*);

void Lustre_pre_2_set(convertible_hood_speed_state ,Lustre_pre_2_ctx_type*);

void Lustre_pre_ctx_reset(Lustre_pre_ctx_type* ctx);
Lustre_pre_ctx_type* Lustre_pre_ctx_new_ctx();
void Lustre_pre_get(convertible_hood_state *,Lustre_pre_ctx_type*);

void Lustre_pre_set(convertible_hood_state ,Lustre_pre_ctx_type*);

void Lustre_pre_6_ctx_reset(Lustre_pre_6_ctx_type* ctx);
Lustre_pre_6_ctx_type* Lustre_pre_6_ctx_new_ctx();
void Lustre_pre_6_get(convertible_vehicle_state *,Lustre_pre_6_ctx_type*);

void Lustre_pre_6_set(convertible_vehicle_state ,Lustre_pre_6_ctx_type*);

void Lustre_pre_5_ctx_reset(Lustre_pre_5_ctx_type* ctx);
Lustre_pre_5_ctx_type* Lustre_pre_5_ctx_new_ctx();
void Lustre_pre_5_get(_real [50]/*out*/,Lustre_pre_5_ctx_type*);

void Lustre_pre_5_set(_real [50],Lustre_pre_5_ctx_type*);

void Lustre_slash_step(_real ,_real ,_real *);

void assign_50_step(_real ,_integer ,_real [50],_real [50]/*out*/);

void convertible_abs_step(_real ,_real *);

void convertible_braking_time_step(_real ,_real *);

void convertible_hood_ctx_reset(convertible_hood_ctx_type* ctx);
convertible_hood_ctx_type* convertible_hood_ctx_new_ctx();
void convertible_hood_step(_boolean ,_boolean ,_boolean ,_boolean ,_boolean *,_real *,convertible_hood_ctx_type*);

void convertible_hood_speed_ctx_reset(convertible_hood_speed_ctx_type* ctx);
convertible_hood_speed_ctx_type* convertible_hood_speed_ctx_new_ctx();
void convertible_hood_speed_step(_boolean ,_real *,convertible_hood_speed_ctx_type*);

void convertible_main_ctx_reset(convertible_main_ctx_type* ctx);
convertible_main_ctx_type* convertible_main_ctx_new_ctx();
void convertible_main_step(_boolean ,_boolean ,_boolean ,_boolean ,_boolean ,_boolean ,_real ,_boolean *,_boolean *,_real *,_real *,convertible_main_ctx_type*);

void convertible_maxr_step(_real ,_real ,_real *);

void convertible_may_collide_ctx_reset(convertible_may_collide_ctx_type* ctx);
convertible_may_collide_ctx_type* convertible_may_collide_ctx_new_ctx();
void convertible_may_collide_step(_real ,_real ,_boolean *,convertible_may_collide_ctx_type*);

void convertible_ms_to_kmh_step(_real ,_real *);

void convertible_solve_eq_d2_step(_real ,_real ,_real ,_real *);

void convertible_speed_kmh_ctx_reset(convertible_speed_kmh_ctx_type* ctx);
convertible_speed_kmh_ctx_type* convertible_speed_kmh_ctx_new_ctx();
void convertible_speed_kmh_step(_boolean ,_boolean ,_real *,convertible_speed_kmh_ctx_type*);

void convertible_sqrt_step(_real ,_real *);

void convertible_vehicle_ctx_reset(convertible_vehicle_ctx_type* ctx);
convertible_vehicle_ctx_type* convertible_vehicle_ctx_new_ctx();
void convertible_vehicle_step(_boolean ,_boolean ,_real ,_real ,convertible_vehicle_state *,convertible_vehicle_ctx_type*);

void fillred_update_cell_do_50_step(convertible_update_acc ,_real [50],convertible_update_acc *,_real [50]/*out*/);

void red_rplus_50_real_step(_real ,_real [50],_real *);

void squareR_1_step(_real ,_real ,_real *);

void squareR_2_step(_real ,_real ,_real *);

void squareR_3_step(_real ,_real ,_real *);

void squareR_4_step(_real ,_real ,_real *);

void squareR_5_step(_real ,_real ,_real *);

void sum_50_0d0_ctx_reset(sum_50_0d0_ctx_type* ctx);
sum_50_0d0_ctx_type* sum_50_0d0_ctx_new_ctx();
void sum_50_0d0_step(_real ,_real *,sum_50_0d0_ctx_type*);

void sum_50_0d1_ctx_reset(sum_50_0d1_ctx_type* ctx);
sum_50_0d1_ctx_type* sum_50_0d1_ctx_new_ctx();
void sum_50_0d1_step(_real ,_real *,sum_50_0d1_ctx_type*);

void update_cell_do_50_step(convertible_update_acc ,_real ,convertible_update_acc *,_real *);

/////////////////////////////////////////////////
#endif