Holds the state of the MIP dispatch system. More...
#include <mip_dispatch.h>
Holds the state of the MIP dispatch system.