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

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

浮点数实用程序库包含以下内容：

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

对属性映射库进行了一些添加和修改，包括：

• 一个常数值属性映射，对于自然无权图很有用。
• 一个noop写入属性映射，当您必须提供参数但并不关心输出时很有用。
• 详情请参见变更日志。

对图库进行了一些添加和修改，包括：

• 两个新的图类（无向和有向），旨在使库更容易被新开发者使用。
• 一套图度量，包括度数和接近中心性、平均测地线距离、离心率和聚类系数。
• 一种用于访问有向图中所有循环的算法（1970年代的Tiernan算法）。它也适用于无向图，但会报告两次循环（每个方向一次）。
• 一种用于访问图中所有团的算法（Bron&Kerbosch）。适用于有向图和无向图。
• 派生的图度量半径和直径（来自离心率）以及周长和圆周（来自Tiernan）以及团数（来自Bron&Kerbosch）。
• 一个exterior_property类，有助于隐藏外部属性的一些奇怪之处。
• 新算法的运行时和编译时测试。
• 大量的文档
• 图核心，由David Gleich（@斯坦福大学）实现。
• 确定性图生成器 - 能够在顶点集上创建或诱导特定类型的图（例如，星形图、轮图、棱柱图等）。还有一些其他特定类型可以添加到其中，但我还没有时间。

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

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