Interface PlaceRankConverter
-
- All Superinterfaces:
java.util.function.Function<Place,java.lang.Double>
- All Known Implementing Classes:
TotalPassageCoveragePlaceRankConverter,TransitionCountPlaceRankConverter
public interface PlaceRankConverter extends java.util.function.Function<Place,java.lang.Double>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default java.lang.Doubleapply(Place place)java.lang.Doubleconvert(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
-
-
-
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
-
-