Ignore constant terms in Dejavu

Maumagnaguagno · Feb 10, 2024 · e72872f · e72872f
1 parent c900f1b
commit e72872f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/extensions/Dejavu.rb b/extensions/Dejavu.rb
@@ -21,6 +21,7 @@ def apply(operators, methods, predicates, state, tasks, goal_pos, goal_not, debu
         terms |= t.drop(1)
         t.equal?(task)
       }
+      terms.select! {|t| t.start_with?('?')}
       if name == task[0] && decomposition[-1].size > 1 or decomposition[1].empty? or task.size == 1 or task.drop(1).sort! != terms.sort
         name = "#{name}_#{decomposition[0]}_#{index}"
         decomposition[3] << [visited = "visited_#{name}".freeze, *terms]