Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.decomposer.Decomposer
Packages that use Decomposer
Package
Description
-
Uses of Decomposer in org.tweetyproject.arg.adf.reasoner.sat.decomposer
Classes in org.tweetyproject.arg.adf.reasoner.sat.decomposer that implement DecomposerModifier and TypeClassDescriptionclass
class
Tries to evenly reduce the non-bipolar links (hence K) of the resulting ADFs. -
Uses of Decomposer in org.tweetyproject.arg.adf.reasoner.sat.execution
Methods in org.tweetyproject.arg.adf.reasoner.sat.execution that return Decomposer