#include "device-energy-model.h"
#include <stdint.h>
#include <vector>
Go to the source code of this file.