PossibilisticGammaOperator

java.lang.Object

org.tweetyproject.logics.translators.adfpossibilistic.PossibilisticGammaOperator

public class PossibilisticGammaOperator extends Object

This class performs the Gamma Operator for Possibilistic ADFs introduced in [Heyninck 2021]

Author:: Jonas Schumacher

Constructor Summary

Constructors

Constructor

Description

PossibilisticGammaOperator()

Default Constructor
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

Implements the Gamma Operator: Input: Old Possibility Distribution and ADF Output: New Possibility Distribution

static Map<PlFormula,Double>

sortByValue(Map<PlFormula,Double> map)

Convert an unsorted Map to a map sorted by value in ascending order

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- PossibilisticGammaOperator
  
  public PossibilisticGammaOperator()
  
  Default Constructor
Method Details
- sortByValue
  
  public static Map<PlFormula,Double> sortByValue(Map<PlFormula,Double> map)
  
  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
  
  public static void main(String[] args) throws ParserException, IOException
  
  Implements the Gamma Operator: Input: Old Possibility Distribution and ADF Output: New Possibility Distribution
  
  Parameters:
  
  args - arguments
  
  Throws:
  
  ParserException - parserexception
  
  IOException - ioexception