kure_complement

kure2_sys

Function kure_complement 

Source 
pub unsafe extern "C" fn kure_complement(
    rop: *mut KureRel,
    arg: *const KureRel,
) -> Kure_success
Expand description

Computes the complement of a given relation. Afterwards, \f$rop_{x,y}\iff \neg arg_{x,y}\f$.

\param rop Relation to store the result in. Has to be a valid relation. \param arg Argument relation. \return Returns true on success and FALSE on error.