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

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

Class	Description
Decomposer
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