Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.decomposer.Decomposer
Package
Description
-
Uses of Decomposer in org.tweetyproject.arg.adf.reasoner.sat.decomposer
Modifier 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