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

Packages that use org.tweetyproject.arg.adf.reasoner.sat.decomposer

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

Classes in org.tweetyproject.arg.adf.reasoner.sat.decomposer used by 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.

Classes in org.tweetyproject.arg.adf.reasoner.sat.decomposer used by org.tweetyproject.arg.adf.reasoner.sat.execution

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.