#ifndef __VK_DEVICE_HPP
#define __VK_DEVICE_HPP

#include "./object.hpp"

#include "./fwd.hpp"

namespace vk {
    struct device : public instantiated<device> {
        device (const physical_device&,
                const VkDeviceCreateInfo&);

        VkPhysicalDeviceMemoryProperties
        physical_properties (void) const;

        void flush (const VkMappedMemoryRange *first,
                    const VkMappedMemoryRange *last);

        void invalidate (const VkMappedMemoryRange *first,
                         const VkMappedMemoryRange *last);
    };
}

#endif