File content as of revision 5:7f800f61cb13:

#include "mbed.h"
#include "EncoderMotor.hpp"
#include "PIDController.hpp"

InterruptIn bt(USER_BUTTON);
Serial pc(USBTX, USBRX);

Encoder e(PA_0, PA_1);
//PIDController ec(0.2, 0.1, 0.01);
PIDController ec(0.3, 2.0, 0.02);
//PIDController ec(0.75, 2.0, 0.015);
//PIDController ec(0.8, 1.5, 0.017);
PIDController ecRot(5.0, 0.1, 0.04);
EncoderMotor m(PB_0, PC_1, PC_0, e, ec, ecRot);
//Motor m(PB_0, PC_1, PC_0);

void rise()
{
    pc.printf("rise\n");
    m.drive(0);
}

void fall()
{
    pc.printf("fall\n");
    m.drive(0.5);
}

int main()
{   
    bt.rise(&rise);
    bt.fall(&fall);
    
    m.setup();
    
    float rot;
    
    while(1)
    {
        //pc.printf("%d %f %f\n", e.getCount(), m.speed, m.out);
        //wait(0.1);
        //pc.scanf("%f %f %f", &ec.Kp, &ec.Ki, &ec.Kd);
        //pc.scanf("%f %f %f %f", &ecRot.Kp, &ecRot.Ki, &ecRot.Kd, &rot);
        pc.scanf("%f", &rot);
        m.rotate(rot);
    }
}