#ifndef SoftPwmTimer_h
#define SoftPwmTimer_h
#include "Energia.h"
#include "SysTick.h"
class SoftPwmTimer {
// static volatile uint32_t pwmLedInterruptCount;
public:
static void
disableSoftPwmInterrupts();
static void
enableSoftPwmInterrupts();
static void
startSoftPwmTimerInterrupts( uint32_t hz );
static void
SoftPwmTimerInterruptHandler(void);
};
#endif