Declarations

struct CowlDeclAxiom : public CowlAxiom

Represents a Declaration in the OWL 2 specification.

Public Static Functions

static inline CowlDeclAxiom *cowl_decl_axiom(CowlAnyEntity *entity, CowlVector *annot)

Returns a retained declaration axiom.

Parameters

• entity – The declared entity.

• annot – [optional] The annotations.

Returns

Retained declaration.

static inline CowlDeclAxiom *cowl_decl_axiom_retain(CowlDeclAxiom *axiom)

Retains the specified axiom.

Parameters

axiom – The axiom.

Returns

Retained axiom.

static inline void cowl_decl_axiom_release(CowlDeclAxiom *axiom)

Releases the specified axiom.

Parameters

axiom – The axiom.

static inline CowlEntity *cowl_decl_axiom_get_entity(CowlDeclAxiom *axiom)

Gets the declared entity.

Parameters

axiom – The axiom.

Returns

The entity.

static inline CowlVector *cowl_decl_axiom_get_annot(CowlDeclAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.

static inline CowlString *cowl_decl_axiom_to_string(CowlDeclAxiom *axiom)

Returns the string representation of the specified axiom.

Note

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

Parameters

axiom – The axiom.

Returns

String representation, or NULL on error.

static inline bool cowl_decl_axiom_equals(CowlDeclAxiom *lhs, CowlDeclAxiom *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_decl_axiom_hash(CowlDeclAxiom *axiom)

Hash function.

Parameters

axiom – The axiom.

Returns

The hash value.

static inline bool cowl_decl_axiom_iterate_primitives(CowlDeclAxiom *axiom, CowlPrimitiveFlags flags, CowlIterator *iter)

Iterates over the primitives referenced by the specified axiom.

Parameters

• axiom – The axiom.

• flags – Iteration flags.

• iter – The iterator.

Returns

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