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

Interface Decomposer

All Known Implementing Classes:

RandomDecomposer, UniformKDecomposer

public interface Decomposer

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
Collection<Interpretation>	decompose(AbstractDialecticalFramework adf, int desired)

Method Details

decompose

Collection<Interpretation> decompose(AbstractDialecticalFramework adf,
 int desired)

Parameters:

adf - adf

desired - desired

Returns:

decompose