Class MostComplexAcceptanceConditionDecomposer

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.decomposer.MostComplexAcceptanceConditionDecomposer
All Implemented Interfaces:
Decomposer

public class MostComplexAcceptanceConditionDecomposer extends Object
Returns the arguments with the most complex acceptance condition, according to their logical complexity.
Author:
Mathias Hofer
  • Constructor Details

    • MostComplexAcceptanceConditionDecomposer

      public MostComplexAcceptanceConditionDecomposer(AbstractDialecticalFramework adf)
      Parameters:
      adf - AbstractDialecticalFramework
  • Method Details