ReadonlycolBound-type code for each colIndex entry.
ReadonlycolZero-based columns retained in the compact IIS result.
ReadonlycolConflict-membership status for every model column.
ReadonlyrowBound-type code for each rowIndex entry.
ReadonlyrowZero-based rows retained in the compact IIS result.
ReadonlyrowConflict-membership status for every model row.
Infeasible-subsystem candidate and conflict classifications. Compact index arrays identify retained rows/columns and have matching parallel bound-code arrays. Full status arrays have
numCols/numRowsentries. Empty compact arrays mean no subsystem was found, not necessarily that feasibility was proved. A limited computation can mark entriesmaybeInConflictand need not have proved irreducibility; compare codes withhighs.constants.iis.