/*
 * IInternalScheduler.h
 *
 *  Created on: Mar 13, 2014
 *      Author: jonny
 */

#ifndef IINTERNALSCHEDULER_H_
#define IINTERNALSCHEDULER_H_

namespace controller
{
class IInternalScheduler
{
public:
	virtual ~IInternalScheduler() {}
	virtual void scheduleCommand(const controller::ScheduledCommand& command) = 0;
	virtual void scheduleTrigger(const controller::Trigger trigger, sc_time time) = 0;
};
}

#endif /* IINTERNALSCHEDULER_H_ */