Package model.computation.shapleyValue

Class Summary

MaxShapleyValueSet	This class is the shapley value set for which the value of a group of formulae is the maximal score of the formulae of the list.
MeanShapleyValueSet	This class is the shapley value set for which the value of a group of formulae is the average score of the formulae of the list.
ShapleyValueSet	This class is the abstract class to extend in order to develop its own way to compute the Shapley value of a group of formulae.