public static void visualizePDDLKnowledgeGraphs(string PDDLDomainFile, string PDDLProblemFile)
{
var problem = new PAD.Planner.PDDL.Problem(PDDLDomainFile, PDDLProblemFile);
KnowledgeHolder h = KnowledgeHolder.create(problem);
h.visualize();
}
public static void visualizeKnowledgeGraphs(string problemFile)
{
KnowledgeHolder h = null;
if (Path.GetExtension(problemFile) == ".sas")
{
var sasProblem = new Problem(problemFile, false);
h = KnowledgeHolder.compute(sasProblem);
}
else
{
var domain = Path.Combine(Path.GetDirectoryName(problemFile), "domain.pddl");
h = KnowledgeHolder.create(new PAD.Planner.PDDL.Problem(domain, problemFile));
}
h.visualize();
}
private void openFileDialog1_FileOk(object sender, CancelEventArgs e)
{
if (Path.GetExtension(openFileDialog1.FileName) == ".sas")
h = KnowledgeHolder.compute(new PAD.Planner.SAS.Problem(openFileDialog1.FileName));
else
{
var domain = Path.Combine(Path.GetDirectoryName(openFileDialog1.FileName), "domain.pddl");
h = KnowledgeHolder.create(new PAD.Planner.PDDL.Problem(domain, openFileDialog1.FileName));
}
listView1.Clear();
listView1.Items.Add("Causual Graph");
for (int i = 0; i < h.CG.vertices.Count; i++)
{
listView1.Items.Add("DTG var" + i.ToString());
}
for (int i = 0; i < h.CG.vertices.Count; i++)
{
listView1.Items.Add("DTG NoLabel var" + i.ToString());
}
h.show(0, panel1);
Refresh();
}
