public void execute(String[] args) {
CharArrayWriter buffer=new CharArrayWriter();
PrintWriter writer=new PrintWriter(buffer);
writer.println("Unprocessed ground disjunctions");
writer.println("===========================================");
GroundDisjunction groundDisjunction=m_debugger.getTableau().getFirstUnprocessedGroundDisjunction();
while (groundDisjunction!=null) {
for (int disjunctIndex=0;disjunctIndex<groundDisjunction.getNumberOfDisjuncts();disjunctIndex++) {
if (disjunctIndex!=0)
writer.print(" v ");
DLPredicate dlPredicate=groundDisjunction.getDLPredicate(disjunctIndex);
if (Equality.INSTANCE.equals(dlPredicate)) {
writer.print(groundDisjunction.getArgument(disjunctIndex,0).getNodeID());
writer.print(" == ");
writer.print(groundDisjunction.getArgument(disjunctIndex,1).getNodeID());
}
else {
writer.print(dlPredicate.toString(m_debugger.getPrefixes()));
writer.print('(');
for (int argumentIndex=0;argumentIndex<dlPredicate.getArity();argumentIndex++) {
if (argumentIndex!=0)
buffer.append(',');
writer.print(groundDisjunction.getArgument(disjunctIndex,argumentIndex).getNodeID());
}
writer.print(')');
}
}
writer.println();
groundDisjunction=groundDisjunction.getPreviousGroundDisjunction();
}
writer.flush();
showTextInWindow(buffer.toString(),"Unprocessed ground disjunctions");
selectConsoleWindow();
}