Application Programming Interface

The part package is designed to maintain subsets of sorted spaces.

It defines several classes.

For atomic values:

• TotallyOrdered which represents totally ordered type;

• TO which represents a generic totally ordered type;

• Atomic which represents any convex subset of a totally ordered space;

• Empty which represents the empty subset. There is only one instance of this class;

• Interval which represents a non-empty subset of a totally ordered space. There is a special instance representing the whole space;

For set classes:

• IntervalSet is an abstract class representing all interval sets;

• FrozenIntervalSet is a frozen version of IntervalSet;

• MutableIntervalSet is a mutable version of IntervalSet.

For dictionary classes:

• IntervalDict is an abstract class representing all interval dictionaries;

• FrozenIntervalDict is a frozen version of IntervalDict;

• MutableIntervalDict is a mutable version of IntervalDict.

It also defines one constant:

• INFINITY to hold the infinity value. (-INFINITY is also a valid expression);