Rename mutex

NASA-AMMOS · Sep 12, 2024 · bfdb0f5 · bfdb0f5
1 parent 498d8c3
commit bfdb0f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...ral/constraints/src/main/kotlin/gov/nasa/ammos/aerie/procedural/constraints/Violations.kt b/...ral/constraints/src/main/kotlin/gov/nasa/ammos/aerie/procedural/constraints/Violations.kt
@@ -62,7 +62,7 @@ data class Violations(private val timeline: Timeline<Violation, Violations>):
      *
      * If either object is an activity, it will record the directive or instance id.
      */
-    @JvmStatic fun <V: IntervalLike<V>, W: IntervalLike<W>> mutex(left: GeneralOps<V, *>, right: GeneralOps<W, *>) =
+    @JvmStatic fun <V: IntervalLike<V>, W: IntervalLike<W>> whenSimultaneous(left: GeneralOps<V, *>, right: GeneralOps<W, *>) =
         left.unsafeMap2(::Violations, right) { l, r, i -> Violation(
             i,
             null,