Value restrictions

struct TmeUniversalRole

Models value restrictions.

See

TmeSemDesc

Public Functions

TmeUniversalRole tme_uv_role_copy(TmeUniversalRole role)

Copies the specified value restriction.

Return

Copied restriction.

Note

The copy is deep (e.g. fillers are recursively copied).

Parameters

  • role: The restriction to copy.

bool tme_uv_role_equals(TmeUniversalRole role, TmeUniversalRole other)

Equality function for value restrictions.

Return

True if the equality relation holds, false otherwise.

Note

This function has no semantic meaning, as it also accounts for the order in which concepts and roles appear in the filler. It’s mainly meant to be used in data structures that require their elements to be equatable.

Parameters

  • role: LHS of the equality relation.

  • other: RHS of the equality relation.

Public Members

TmeEntityPtr atomic_role

Role this restriction refers to.

TmeSemDesc *filler

Filler of this restriction.

Related

tme_uv_role_deinit(role)

De-initializes the specified value restriction, releasing memory held by its filler.

Parameters

  • role: The restriction to de-initialize.