Set

ClosedTermSet

Bases: ClosedTerm, Sequence[T]

Set of closed terms.

intersection(*others)

Computes the intersection of self and others.

Parameters:

• others (Self, default: () ) –

  Closed-term sets.

Returns:

• Self –

  Closed-term set.

issubset(other)

Tests whether self is a subset of other.

Parameters:

• other (Self) –

  Closed-term set.

Returns:

• bool –

  True if successful; False otherwise.

issuperset(other)

Tests whether self is a superset of other.

Parameters:

• other (Self) –

  Closed-term set.

Returns:

• bool –

  True if successful; False otherwise.

union(*others)

Computes the union of self and others.

Parameters:

• others (Self, default: () ) –

  Closed-term sets.

Returns:

• Self –

  Closed-term set.

SnakSet

Bases: ClosedTermSet[T]

Set of snaks.

Parameters:

• snaks (Snak, default: () ) –

  Snaks.