Class PossibilisticGammaOperator
java.lang.Object
org.tweetyproject.logics.translators.adfpossibilistic.PossibilisticGammaOperator
This class performs the Gamma Operator for Possibilistic ADFs introduced in [Heyninck 2021]
- Author:
- Jonas Schumacher
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
Implements the Gamma Operator: Input: Old Possibility Distribution and ADF Output: New Possibility DistributionsortByValue
(Map<PlFormula, Double> map) Convert an unsorted Map to a map sorted by value in ascending order
-
Constructor Details
-
PossibilisticGammaOperator
public PossibilisticGammaOperator()
-
-
Method Details
-
sortByValue
Convert an unsorted Map to a map sorted by value in ascending order- Parameters:
map
- map- Returns:
- map sorted by value in ascending order
-
main
Implements the Gamma Operator: Input: Old Possibility Distribution and ADF Output: New Possibility Distribution- Parameters:
args
- arguments- Throws:
ParserException
- parserexceptionIOException
- ioexception
-