Function SCIPdetectSingleOrDoubleLexMatrices 

pub unsafe extern "C" fn SCIPdetectSingleOrDoubleLexMatrices(
    scip: *mut SCIP,
    detectsinglelex: c_uint,
    perms: *mut *mut c_int,
    nperms: c_int,
    permlen: c_int,
    success: *mut c_uint,
    isorbitope: *mut c_uint,
    lexmatrix: *mut *mut *mut c_int,
    nrows: *mut c_int,
    ncols: *mut c_int,
    lexrowsbegin: *mut *mut c_int,
    lexcolsbegin: *mut *mut c_int,
    nrowmatrices: *mut c_int,
    ncolmatrices: *mut c_int,
) -> SCIP_RETCODE

detects whether permutations define single or double lex matrices

A single lex matrix is a matrix whose columns can be partitioned into blocks such that the columns within each block can be permuted arbitrarily. A double lex matrix is a single lex matrix such that also blocks of rows have the aforementioned property.