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

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()