File content as of revision 2:aa961ba3199e:

/*
#include "mbed.h"
#include "QEI.h"
Serial pc (PA_2, PA_3); //serial comm enabled on pins pa_2 and pa_3
QEI encoder_Right(PB_3, PA_15, NC, 360, QEI::X4_ENCODING);
QEI encoder_Left(PA_1, PC_4, NC, 360, QEI::X4_ENCODING);   //forward increases pulses
PwmOut m_Right_B(PC_7);
PwmOut m_Right_F(PB_10);
PwmOut m_Left_F(PA_7); 
PwmOut m_Left_B(PB_6); 
*/

//QEI functions
/*
void    reset (void)
    Reset the encoder.
int     getCurrentState (void)
    Read the state of the encoder.
int     getPulses (void)
    Read the number of pulses recorded by the encoder.
int     getRevolutions (void)
    Read the number of revolutions recorded by the encoder on the index channel.
*/
/*
int main()
{
    m_Right_F.write(0.5);
    //m_Left_F.write(.25);
    //m_Left_B.write(.25); 
    while(1) {
        wait(0.1);
        
        pc.printf("Pulses is: %i\n", encoder_Right.getPulses());
        //pc.printf("Pulses is: %i\n", encoder_Left.getPulses());
    }
    
    

}
*/