Function SCIPextendSubOrbitope 

pub unsafe extern "C" fn SCIPextendSubOrbitope(
    suborbitope: *mut *mut c_int,
    nrows: c_int,
    nfilledcols: c_int,
    coltoextend: c_int,
    perm: *mut c_int,
    leftextension: c_uint,
    nusedelems: *mut *mut c_int,
    permvars: *mut *mut SCIP_VAR,
    rowisbinary: *mut u8,
    success: *mut c_uint,
    infeasible: *mut c_uint,
) -> SCIP_RETCODE

Given a matrix with nrows and #perms + 1 columns whose first nfilledcols columns contain entries of variables, this routine checks whether the 2-cycles of perm intersect each row of column coltoextend in exactly one position. In this case, we add one column to the suborbitope of the first nfilledcols columns.

@pre Every non-trivial cycle of perm is a 2-cycle. @pre perm has nrows many 2-cycles