Data Property Quantification

struct CowlDataQuant : public CowlClsExp

Represents DataSomeValuesFrom and DataAllValuesFrom in the OWL 2 specification.

Public Functions

CowlDataQuant *cowl_data_quant(CowlQuantType type, CowlAnyDataPropExp *prop, CowlAnyDataRange *range)

Returns a retained data quantifier.

Parameters

  • type – Data quantifier type.

  • prop – The data property.

  • range – Range of the quantifier.

Returns

Retained data quantifier, or NULL on error.

CowlDataRange *cowl_data_quant_get_range(CowlDataQuant *restr)

Gets the range of the specified data quantifier.

Parameters

restr – The data quantifier.

Returns

Range of the data quantifier.

Public Static Functions

static inline CowlDataQuant *cowl_data_quant_retain(CowlDataQuant *restr)

Retains the specified data quantifier.

Parameters

restr – The data quantifier.

Returns

Retained data quantifier.

static inline void cowl_data_quant_release(CowlDataQuant *restr)

Releases the specified data quantifier.

Parameters

restr – The data quantifier.

static inline CowlQuantType cowl_data_quant_get_type(CowlDataQuant *restr)

Gets the type of the specified data quantifier.

Parameters

restr – The data quantifier.

Returns

The type of the data quantifier.

static inline CowlDataPropExp *cowl_data_quant_get_prop(CowlDataQuant *restr)

Gets the data property.

Parameters

restr – The data quantifier.

Returns

The data property.

static inline CowlString *cowl_data_quant_to_string(CowlDataQuant *restr)

Returns the string representation of the specified data quantifier.

Note

The returned string is retained, so you are responsible for releasing it.

Parameters

restr – The data quantifier.

Returns

String representation, or NULL on error.

static inline bool cowl_data_quant_equals(CowlDataQuant *lhs, CowlDataQuant *rhs)

Equality function.

Parameters

  • lhs – LHS of the equality relation.

  • rhs – RHS of the equality relation.

Returns

True if the equality relation holds, false otherwise.

static inline ulib_uint cowl_data_quant_hash(CowlDataQuant *restr)

Hash function.

Parameters

restr – The data quantifier.

Returns

The hash value.

static inline bool cowl_data_quant_iterate_primitives(CowlDataQuant *restr, CowlPrimitiveFlags flags, CowlIterator *iter)

Iterates over the primitives referenced by the specified data quantifier.

Parameters

  • restr – The data quantifier.

  • flags – Iteration flags.

  • iter – The iterator.

Returns

True if the iteration was completed, false if it was stopped.