clock-zones

一个处理时区的库，它们在 时序自动机 的上下文中出现。 时序自动机 由 Rajeev Alur 和 David Dill 于1994年开创，用于建模实时系统 [1]。时序自动机通过实值 时钟 扩展了有限自动机。这个包提供了一个 差分界矩阵 (DBM) 数据结构的实现，以有效地表示 时区。实现主要基于 [2]。