Boost.FSM 库是 FSM（代表有限状态机）编程概念的实现。该库的主要目标是

• 简单。使用此库创建状态机应该是非常简单的。
• 性能。状态机基础设施不应该非常耗时且耗内存，以便可以在更多用例中应用。
• 可扩展性。开发人员可能希望向现有状态机添加更多状态。开发人员还应该能够通过对现有代码的最小修改，为机器指定其他转换和事件。

浮点实用程序库包含以下各项：

• 浮点数分类函数：fpclassify、isfinite、isinf、isnan、isnormal（遵循 TR1）
• 符号位函数：signbit、copysign、changesign（遵循 TR1）
• 按照 C99 标准格式化和解析无穷大和 NaN 的实体（这些实体用于便携式地处理文本流中的无穷大和 NaN）。

对属性映射库的多项添加和修改，包括：

• 一个常值属性映射，适用于天然未加权图。
• 一个 noop 写入属性映射，当您需要提供一个参数但并不关心输出时，非常有用。
• 有关详情，请参见 变更日志。

对图形库的多项添加和修改，包括：

• 两个新的图形类（无向和有向），旨在使得该库更易于新手开发人员使用。
• 一组图形测量方法，包括度和中心度、平均测地距离、离心度和集聚系数。
• 一种用于遍历有向图中所有环的算法（Tiernan 于 1970 年左右开发）。该算法适用于无向图，但会将环报告两次（每个方向一次）。
• 一种用于遍历图形中所有团的算法（Bron&Kerbosch）。适用于有向图和无向图。
• 导出图形测量方法半径和直径（来自离心度）、周长和圆周（来自 Tiernan）以及团数（来自 Bron&Kerbosch）。
• 一种 exterior_property 类，有助于隐藏与外部属性有关的一些怪异现象。
• 运行时和编译时用于新算法的测试。
• 大量的文档
• 图形内核，由 David Gleich（@斯坦福大学）实现。
• 确定性图形生成器 - 能够在顶点集上创建或诱发特定类型的图形（例如，星形图、轮形图、棱柱形图等）。这个还有一些其他可能添加的特定类型，但我目前还没有时间。

http://rk.go.pl/f/constrained_value.zip

http://rk.go.pl/r/constrained_value（文档）