Class Endpoint


  • public class Endpoint
    extends java.lang.Object
    • Constructor Detail

      • Endpoint

        public Endpoint​(java.lang.String activity,
                        OcelObjectType ot)
    • Method Detail

      • increaseNumObjects

        public void increaseNumObjects()
      • getValue

        public int getValue()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • toReducedString

        public java.lang.String toReducedString​(int idx)
      • satisfy

        public boolean satisfy​(int idx,
                               int count)