在状态空间工具中改变属性和选项
如何使用How-to

相关页面

使用状态空间工具Use state space tool

设置报告选项

状态空间报告的内容通过改变保存状态空间报告Save state space report工具的选项进行设置。

为了改变库所和变迁名称的文本格式，参考下面“设置字符串表达选项”。

设置字符串表达选项

字符串表达选项允许用户详细指定st-functions（在状态空间工具手册state space tool manual中有完整描述）将如何工作。st-functions用于由保存状态空间报告（Save state space report）工具生成的标准报告。因此，改变这些选项也能够影响状态空间报告。

为了设置字符串表达选项，创建一个辅助文本create an auxiliary text 包含手册(manual.pdf)中所描述的合适的字符串表达函数， ML语言评估（Evaluate ML）工具用来评估函数。

下面是一个例子用来示范如何在状态空间工具中改变库所实例的字符串表达。评估顶部辅助的文本显示出库所"Think"的默认字符串表达，"Think"是页名为"Page"的第一个（1）实例，"Page"可参见 就餐中的哲学家Dining Philosophers.的CP-net示例。评估中间的辅助文本将为库所实例改变字符串表达函数。评估底部的辅助文本显示出库所"Think"的新字符串表达。

Setting string representation options

设置终止和分支选项

终止选项允许你确定何时进行终止状态空间的计算。它发生在所有节点都已被处理时或当终止选项被满足时。

分支选项允许你详细规定，在一定条件下，状态空间工具不需要计算一个节点的所有后继节点。该节点仅被部分处理。

改变计算状态空间（Calculate state space）工具的选项可令终止和分支选项得到改变。

要获得更多关于终止和分支选项的信息,请参照状态空间工具手册（state space tool manual）.