使用Alloy API显示实例

Question

所以我在一个项目中使用Alloy的API，我可以使用以下代码逐一显示实例：

while (ans.satisfiable()) {
            try {
                ans.writeXML("Sample/instance.xml");
                VizGUI viz = new VizGUI(false, "Sample/instance.xml", null);
            } catch (Err e) {
                e.printStackTrace();
            }
            ans = ans.next();
        }

但是使用此代码，将打开一个窗口，打开每个不同的实例。我想要做的就是只有一个窗口，并且有一个类似于Alloy中的“下一步”选项，可以访问不同的实例。

"Next" buttom in Alloy