UniformKDecomposer

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.decomposer.UniformKDecomposer

All Implemented Interfaces:: Decomposer

public final class UniformKDecomposer extends Object

Tries to evenly reduce the non-bipolar links (hence K) of the resulting ADFs.

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

UniformKDecomposer(LinkStrategy linkStrategy)
Method Summary

Modifier and Type

Method

Description

Decomposer

asTwoValued()

Collection<Interpretation>

decompose(AbstractDialecticalFramework adf, int desired)

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

Constructor Details
- UniformKDecomposer
  
  public UniformKDecomposer(LinkStrategy linkStrategy)
  
  Parameters:
  
  linkStrategy - link Strategy
Method Details
- decompose
  
  public Collection<Interpretation> decompose(AbstractDialecticalFramework adf, int desired)
  
  Specified by:
  
  decompose in interface Decomposer
  
  Parameters:
  
  adf - adf
  
  desired - desired
  
  Returns:
  
  decompose
- asTwoValued
  
  public Decomposer asTwoValued()
  
  Returns:
  
  asTwoValued