From a5baa06a1843be7a19a8f4f1f8955f51227b5fe5 Mon Sep 17 00:00:00 2001
From: JoelCourtney <joel.e.courtney@gmail.com>
Date: Wed, 4 Sep 2024 17:41:26 -0700
Subject: [PATCH] Rename mutex

---
 .../gov/nasa/ammos/aerie/procedural/constraints/Violations.kt   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/procedural/constraints/src/main/kotlin/gov/nasa/ammos/aerie/procedural/constraints/Violations.kt b/procedural/constraints/src/main/kotlin/gov/nasa/ammos/aerie/procedural/constraints/Violations.kt
index 2cf0950e20..b1c1fabac0 100644
--- a/procedural/constraints/src/main/kotlin/gov/nasa/ammos/aerie/procedural/constraints/Violations.kt
+++ b/procedural/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,