Cardinality restrictions

struct TmeCardinalityRole

Models cardinality restrictions.

See

TmeSemDesc

Public Functions

bool tme_cardinality_role_equals(TmeCardinalityRole role, TmeCardinalityRole other_role)

Equality function for cardinality restrictions.

Return

True if the equality relation holds, false otherwise.

Parameters
  • role: LHS of the equality relation.

  • other_role: RHS of the equality relation.

Public Members

TmeEntityPtr atomic_role

Role this restriction applies to.

tme_uint_t cardinality

Cardinality of this restriction.

Related

TME_CARDINALITY_INF

Infinite cardinality.