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

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

Class	Description
AdmissibleMaximizer	Maximizes a given interpretation, but only counts admissible interpretations as larger.
ConflictFreeMaximizer	The ConflictFreeMaximizer is an abstract class responsible for maximizing conflict-free interpretations in an abstract dialectical framework (ADF).
InterpretationProcessor	Performs further processing on interpretations, e.g.
KBipolarStateProcessor	The KBipolarStateProcessor class is responsible for processing the state of an AbstractDialecticalFramework (ADF) by encoding its bipolar and k-bipolar structure into logical clauses.
RestrictedKBipolarStateProcessor	The RestrictedKBipolarStateProcessor is a class that processes SAT encodings for restricted bipolar and k-bipolar argumentation frameworks.
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.