Merge branch 'fix/overlapping-double-values' into 'develop'

Fix Check In Contact

See merge request jonasblatt/ma-jonasblatt-dmn-verifier!56

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckInContact.java

@@ -6,9 +6,8 @@ import de.unikoblenz.fgbks.base.utils.boundary.AbstractGrowingBoundary;
 
 /**
  * The in contact checker implementation of {@link BoundaryCheckType#IS_IN_CONTACT} for {@link
- * AbstractGrowingBoundary}. <br> The check returns true, if the first boundary is in contact with
- * the other boundary.
- * <br>
+ * AbstractGrowingBoundary}. <br>
+ * The check returns true, if the first boundary is in contact with the other boundary. <br>
  * E.g: <br>
  *
  * <ul>
@@ -49,7 +48,9 @@ public class CheckInContact extends AbstractBoundaryCheck<AbstractGrowingBoundar
    */
   public static boolean checkInContact(AbstractGrowingBoundary b1, AbstractGrowingBoundary b2) {
     // TODO: check raw types
-    if (b1.getLowerBound().compareTo(b2.getLowerBound()) <= 0) {
+    if (b1.getLowerBound().compareTo(b2.getLowerBound()) < 0
+        || b1.getLowerBound().compareTo(b2.getLowerBound()) == 0
+        && b1.getLowerBoundType() == INCLUSIVE) {
       return checkOrdered(b1, b2);
     } else {
       return checkOrdered(b2, b1);