Interface PlaceRankConverter

    • Method Summary

      All Methods Instance Methods Abstract Methods Default Methods 
      Modifier and Type Method Description
      default java.lang.Double apply​(Place place)  
      java.lang.Double convert​(Place place)
      Convert a place into some double number that represents some property of the place that can be used for prioritizing it in building local process models
      • Methods inherited from interface java.util.function.Function

        andThen, compose
    • Method Detail

      • convert

        java.lang.Double convert​(Place place)
        Convert a place into some double number that represents some property of the place that can be used for prioritizing it in building local process models
        Parameters:
        place - the place whose property we want to extract
        Returns:
        value that represents the importance of the place when a certain property is considered
      • apply

        default java.lang.Double apply​(Place place)
        Specified by:
        apply in interface java.util.function.Function<Place,​java.lang.Double>