Package org.processmining.specpp.datastructures.petri

Class CollectionOfPlaces

  • All Implemented Interfaces:
    Evaluable, Result
    public class CollectionOfPlaces
extends java.lang.Object
implements Result

    • Constructor Summary

      Constructors 
      Constructor Description
      CollectionOfPlaces​(java.util.Collection<Place> places)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      com.google.common.collect.ImmutableCollection<Place> getPlaces()  
      int size()  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • CollectionOfPlaces

        public CollectionOfPlaces​(java.util.Collection<Place> places)

    • Method Detail

      • getPlaces

        public com.google.common.collect.ImmutableCollection<Place> getPlaces()

      • toString

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

      • size

        public int size()