implement lteq on Membership

rescala-lang · Oct 21, 2024 · df1a00a · df1a00a
1 parent e818f0e
commit df1a00a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Modules/RDTs/src/main/scala/rdts/datatypes/experiments/protocols/Membership.scala b/Modules/RDTs/src/main/scala/rdts/datatypes/experiments/protocols/Membership.scala
@@ -119,4 +119,8 @@ object Membership {
           left.log,
           left.membershipChanging || right.membershipChanging
         )
+
+    override def lteq(left: Membership[A, C, D], right: Membership[A, C, D]): Boolean =
+      if left.counter < right.counter then true
+      else Lattice[D[A]].lteq(left.innerConsensus, right.innerConsensus) && Lattice[C[Set[Uid]]].lteq(left.membersConsensus, right.membersConsensus)
 }