diff options
Diffstat (limited to 'SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/PDDL_Translator.java')
| -rw-r--r-- | SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/PDDL_Translator.java | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/PDDL_Translator.java b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/PDDL_Translator.java index 5fd7e8a9099..48b8c817d03 100644 --- a/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/PDDL_Translator.java +++ b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/PDDL_Translator.java @@ -145,7 +145,7 @@ public class PDDL_Translator { //of the conditions can come true setup_initial_action(init_act); - calculateNetworkStatistics("before_impossibility_removal"); + // calculateNetworkStatistics("before_impossibility_removal"); System.out.println("Before optimizing: "+ this.task_nodes.size()+" tasks "+ this.condition_nodes.size()+" conditions"); System.out.println("Elapsed: "+ (new Date().getTime()-start_time)); @@ -170,9 +170,9 @@ public class PDDL_Translator { //TODO maybe try something like a kmap here? - calculateNetworkStatistics("before_cond_combining"); + // calculateNetworkStatistics("before_cond_combining"); - // combine_conditions(condition_combine_levels); + combine_conditions(condition_combine_levels); // calculateNetworkStatistics("after_cond_combining"); @@ -2241,7 +2241,13 @@ public class PDDL_Translator { private void record_task_impls(){ for(TaskNode t: this.task_nodes.values()){ + + if(t.getName().equals("initact")){ + continue; + } + task_impls.put(t.getName(), new TaskImpl(t.getName()+"_impl")); + task_to_impl_links.add(new TaskToImpl(t.getNodeID(), (t.getName()+"_impl"), "1")); for(String c: task_to_resources.get(t)){ @@ -2653,10 +2659,6 @@ public class PDDL_Translator { for(TaskToImpl t: task_to_impl_links){ - if(!init_act_visible && t.getTaskID().equals("20")){ - continue; - } - Element taskToImpl = doc.createElement("taskToImpl"); Element taskID = doc.createElement("taskID"); |