#ifndef  TASK_PARAMETER_H

#define  TASK_PARAMETER_H yes

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h> 
#include <pthread.h>
#include <string.h>
#include <sched.h>
#include <time.h>
#include "monano.h"

/* To assign task parameters  */

typedef struct benchmark_task_parameters {
 int exec;
 int deadline;
 int period;
 int priority;
 }benchmark_task_parameters;


extern struct pthread_monano_attr_t* pthread_monano_task_parameters(pthread_monano_t *t, long int* hp);
extern void pthread_monano_static_constraints_parameters(pthread_monano_t *t);
extern long int pgcd(long int a, long int b);
extern long int ppcm(long int a, long int b);

#endif