diff options
| -rw-r--r-- | SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java index a4d9c179c84..cd10df264dd 100644 --- a/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java +++ b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java @@ -121,9 +121,9 @@ public class PDDLtoSAN int this_count = all_count++; - n.write_SAN_to_xml("output\\"+this_count+"_"+domain.getDomainName()+"_"+problem.getProblemName()+"-san.xml"); - n.write_TM_to_xml("output\\"+this_count+"_"+domain.getDomainName()+"_"+problem.getProblemName()+"-tm.xml"); - n.write_goals_to_file("output\\"+this_count+"_"+domain.getDomainName()+"_"+problem.getProblemName()+"-goals"); + n.write_SAN_to_xml(this_count+"_"+domain.getDomainName()+"_"+problem.getProblemName()+"-san.xml"); + n.write_TM_to_xml(this_count+"_"+domain.getDomainName()+"_"+problem.getProblemName()+"-tm.xml"); + n.write_goals_to_file(this_count+"_"+domain.getDomainName()+"_"+problem.getProblemName()+"-goals"); } } |