DCC programming

I'm having a look at CmdrArduino_Controller_IR_LCD_v2_7.

I've had a look in the library but cannot find DCCPacket.h , DCCPacketQueue.h , DCCPacketScheduler.h

Where should I look?