Transformations of mixed solution types of interval linear equations system with boundaries on its left-hand side to linear inequalities with binary variables.