From cfb0fe371838a5a7112ad73c0a33073cc209d288 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 27 Jul 2017 15:08:15 +0200 Subject: Fixes multiple issues with depths. --- ast-to-instr/src/Depths.java | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) (limited to 'ast-to-instr') diff --git a/ast-to-instr/src/Depths.java b/ast-to-instr/src/Depths.java index ade01c8..400ff58 100644 --- a/ast-to-instr/src/Depths.java +++ b/ast-to-instr/src/Depths.java @@ -60,13 +60,16 @@ public class Depths --current_depth ) { - Predicates.add_entry - ( - DEPTHS_OUTPUT, - "is_lower_than", - get_id_from_depth(new Integer(current_depth - 1)), - get_id_from_depth(new Integer(current_depth)) - ); + for (int i = 0; i < current_depth; ++i) + { + Predicates.add_entry + ( + DEPTHS_OUTPUT, + "is_lower_than", + get_id_from_depth(new Integer(i)), + get_id_from_depth(new Integer(current_depth)) + ); + } } } } -- cgit v1.2.3-70-g09d2