Complement of Class Expressions

struct CowlObjCompl : public CowlClsExp 

Represents ObjectComplementOf in the OWL 2 specification.

Public Static Functions

static inline CowlObjCompl *cowl_obj_compl(CowlAnyClsExp *operand)

Returns a retained class expression complement.

Parameters: operand – The operand.
Returns: Retained class expression complement, or NULL on error.

static inline CowlClsExp *cowl_obj_compl_get_operand(CowlObjCompl *exp)

Gets the operand of the specified class expression complement.

Parameters: exp – The complement.
Returns: The operand.