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

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

Class	Description
Decomposer	The Decomposer interface defines a contract for decomposing an argumentation framework or a logic system into multiple parts based on a desired criterion.
MostBipolarParentsDecomposer	Takes the arguments with the most bipolar parents.
MostComplexAcceptanceConditionDecomposer	Returns the arguments with the most complex acceptance condition, according to their logical complexity.
RandomDecomposer	The RandomDecomposer is a concrete implementation of the AbstractDecomposer, designed to randomly partition the arguments of an AbstractDialecticalFramework (ADF).