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

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

Interface Summary

Interface	Description
Decomposer

Class Summary

Class	Description
RandomDecomposer
UniformKDecomposer	Tries to evenly reduce the non-bipolar links (hence K) of the resulting ADFs.