Interface PetriNetList

  • All Superinterfaces:
    java.util.Collection<Petrinet>, java.lang.Iterable<Petrinet>, java.util.List<Petrinet>
    All Known Implementing Classes:
    PetriNetListImpl

    @Deprecated
    public interface PetriNetList
    extends java.util.List<Petrinet>
    Deprecated.
    The PetriNetList interface is just a wrapper for using a list of petri-nets as an input for some other plugin. The main reason for this interfaces is the fact that the Plugin annotation can simply not handle a List as a return type.
    Author:
    svzelst
    • Method Summary

      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, stream, toArray
      • Methods inherited from interface java.lang.Iterable

        forEach
      • Methods inherited from interface java.util.List

        add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray