Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.decomposer.Decomposer

Packages that use Decomposer

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

Uses of Decomposer in org.tweetyproject.arg.adf.reasoner.sat.decomposer

Classes in org.tweetyproject.arg.adf.reasoner.sat.decomposer that implement Decomposer

Modifier and Type	Class	Description
class	MostBipolarParentsDecomposer	Takes the arguments with the most bipolar parents.
class	MostComplexAcceptanceConditionDecomposer	Returns the arguments with the most complex acceptance condition, according to their logical complexity.
final class	RandomDecomposer	The RandomDecomposer is a concrete implementation of the AbstractDecomposer, designed to randomly partition the arguments of an AbstractDialecticalFramework (ADF).

Uses of Decomposer in org.tweetyproject.arg.adf.reasoner.sat.execution

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution that return Decomposer

Modifier and Type	Method	Description
Decomposer	Semantics.createDecomposer()