cgs-enumeration:枚举分布式计算的一致全局状态的算法

cgs枚举 枚举分布式计算的一致全局状态的算法。 ===第一次运行=== ant的defalt目标将使用poset：d-100编译并运行程序。 ===使用不同的设置运行=== 编译代码后，使用“ ant run”执行程序。 命令“ ant run”可以采用四个参数，其列出如下： -Dtraverser = traverserName：例如，-Dtraverser = BFS将使用BFS算法启动枚举。 可用的算法是BFS和Lex（在Mac OS上区分大小写）。 -Dtest = testName：参数testName是测试用例的路径。 -Dthreads =＃threads：如果遍历器是多线程的，则参数将限制遍历器的线程数。 -Denumerators = enumerator1：enumerator2 ...此参数链接在枚举期间要调用的枚举器列表。 每个枚举器将为每个一致的