public static void UnregisterAllocatedResource(GraphicsResource resource) { allocated_graphics_resources.Remove(resource); }
public static void RegisterAllocatedResource(GraphicsResource resource) { allocated_graphics_resources.Add(resource); }