pins.h

00001 /* #include */
00002 #include "mbed.h"
00003 #include "DRV8825.h"
00004 
00005 #include <string.h> 
00006 #include <math.h>  
00007 #include "debug.h"
00008 #include "captUS.h"
00009 #include "motors.h"
00010 #include "odo_asserv.h"
00011 #include "Flag.h"
00012 
00013 /* #define */
00014 //#define _PI_ 3.14159265359
00015 
00016 /* extern */
00017 extern DigitalOut Led;
00018 extern DigitalIn Tirette;
00019 extern InterruptIn BtnBlue;
00020 
00021 extern DigitalOut trigger;
00022 extern InterruptIn echo1;
00023 extern InterruptIn echo2;
00024 extern InterruptIn echo3;
00025 extern InterruptIn echo4;
00026 extern InterruptIn echo5;
00027 extern InterruptIn echo6;
00028 
00029 extern DigitalOut mode_M0;
00030 //extern DigitalOut mode_M1;
00031 //extern DigitalOut mode_M2;
00032 extern DRV8825 drvGauche; 
00033 extern DRV8825 drvDroite; 
00034 
00035 extern InterruptIn cdgA;
00036 extern DigitalIn cdgB;
00037 extern InterruptIn cddA;
00038 extern DigitalIn cddB;