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.