Package org.mpi_sws.jmc.util

Interface PartialOrder<T>

All Known Implementing Classes:
LamportVectorClock
public interface PartialOrder<T>
Represents a generic partial order relation.

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static enum 
    PartialOrder.Relation
    Represents the relation between two objects.

  • Method Summary

    Modifier and Type
    Method
    Description
    PartialOrder.Relation
    compare(T other)
    Compares two objects of type T - the current instance and the other object.

  • Method Details

    • compare

      PartialOrder.Relation compare(T other)
      Compares two objects of type T - the current instance and the other object.
      Parameters:
      other - the other object to compare to.
      Returns:
      The relation between the two objects.