diff options
Diffstat (limited to 'utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java')
| -rw-r--r-- | utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java b/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java index 65081b0bbee..2d1184192f8 100644 --- a/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java +++ b/utils/PDDLtoSANetTranslator/PDDLParser/src/PDDLtoSAN.java @@ -31,8 +31,8 @@ public class PDDLtoSAN { int cond_combine = new Integer(args[3]); String output_name = args[4]; -// String domain_path = "travel.pddl"; -// String problem_path = "pb1.pddl"; +// String domain_path = "ferry.pddl"; +// String problem_path = "pb1ferry.pddl"; // boolean include_init = false; // int cond_combine = 3; // String output_name = "ferry"; |