kure_partial_funcs

kure2_sys

Function kure_partial_funcs 

Source 
pub unsafe extern "C" fn kure_partial_funcs(
    arg1: *mut KureRel,
    size1: c_int,
    size2: *mut __mpz_struct,
) -> Kure_success
Expand description

Partial functions. An exact specification is given by the following code: \code int i,j,k,col,factor = 1;

set rows to size1*size2; set cols to (size2+1)^size1; clear relation;

for (i = 0 ; i < size1 ; ++i) { for (j = 0 ; j < size2 ; ++j) { for (col = (j+1)factor ; col < rop->cols ; col += factor * (size2+1)) for (k = 0 ; k < factor ; ++k) set bit at row j+(isize2) and col k+col; } factor *= size2+1; } \endcode