模型Junit：从FSM中打印出DFS结果

Question

我正在使用Model Junit Librarys DFS类从我的FSM中创建生成树。

这是我的代码：

vertex with element 0
vertex with element 2
vertex with element 1
the time is4
the time is5
the time is6
vertex with element 0
the time is8

这是我得到的输出：

ul.menu li{
    background-color: rgba(0, 196, 196, 1) + rgba(1, -16, -16, 0);
}

不幸的是，当我调用dfs.isDone（）;它打印出一个假，所以我看不到深度优先搜索结果。 我不知道在FSM上应用DFS所需的功能