Intersection and Union of Class Expressions

struct CowlNAryBool : public CowlClsExp 

Represents ObjectIntersectionOf and ObjectUnionOf in the OWL 2 specification.

Public Static Functions

static inline CowlNAryBool *cowl_nary_bool(CowlNAryType type, CowlVector *operands)

Returns a retained N-ary boolean class expression.

Parameters

type – N-ary class expression type.
operands – The operands.

Returns

Retained expression, or NULL on error.

static inline CowlNAryType cowl_nary_bool_get_type(CowlNAryBool *exp)

Gets the type of the specified N-ary boolean class expression.

Parameters: exp – The expression.
Returns: The type.

static inline CowlVector *cowl_nary_bool_get_operands(CowlNAryBool *exp)

Gets the operands of the specified N-ary boolean class expression.

Parameters: exp – The expression.
Returns: The operands.

enum CowlNAryType

Represents the type of CowlNAryBool and CowlNAryData.

Values:

enumerator COWL_NT_INTERSECT: Intersection.

enumerator COWL_NT_UNION: Union.

enumerator COWL_NT_COUNT: Number of enum values.

enumerator COWL_NT_FIRST: First enum value.