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

Interface Decomposer

All Known Implementing Classes:

MostBipolarParentsDecomposer, MostComplexAcceptanceConditionDecomposer, RandomDecomposer

public interface Decomposer

Author:

Mathias Hofer

Method Summary

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

Method Details

decompose

Collection<Interpretation> decompose(int desired)

Parameters:

desired - desired

Returns:

decompose