changed names of classes in mixed_integer