#ifndef PWM_H
#define PWM_H

#include <Bin_Const.h>
#include <inc/hw_memmap.h>
#include <inc/hw_types.h>
#include <inc/hw_gpio.h>
#include <inc/hw_sysctl.h>

#include <ES_Port.h>

void PWM_Init(void);

void RestoreDC(uint8_t);
void PWM_SetDuty(uint8_t duty, uint8_t pin);
void PWM_SetPulseWidth(float PulseWidth);

#endif