Interface PartialOrder2TotalOrders.IIterator

    • Method Detail

      • get

        int[] get()
      • reset

        void reset()
      • getTraceLength

        int getTraceLength()
        The same for all traces.
        Returns: