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

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

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

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

Class	Description
InterpretationProcessor	Performs further processing on interpretations, e.g.
StateProcessor	The StateProcessor interface defines a contract for processing a set of states and translating them into logical clauses for further operations such as SAT solving or reasoning.

Classes in org.tweetyproject.arg.adf.reasoner.sat.processor used by org.tweetyproject.arg.adf.reasoner.sat.processor

Class	Description
InterpretationProcessor	Performs further processing on interpretations, e.g.
StateProcessor	The StateProcessor interface defines a contract for processing a set of states and translating them into logical clauses for further operations such as SAT solving or reasoning.