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

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

Class	Description
BipolarSatEncoding	This class implements a SAT encoding for bipolar Abstract Dialectical Frameworks (ADF).
ConflictFreeInterpretationSatEncoding	This class implements a SAT encoding for conflict-free interpretations in an Abstract Dialectical Framework (ADF).
FixPartialSatEncoding	Fixes the already assigned true/false values.
KBipolarSatEncoding	The KBipolarSatEncoding class provides an encoding of a bipolar argumentation framework into a propositional formula for SAT solving.
LargerInterpretationSatEncoding	Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.
PropositionalMapping	Contains the propositional representation of the arguments and links of some ADF.
RefineLargerSatEncoding	Prevents smaller interpretations from being computed, but also allows different interpretations of at least the same size.
RefineUnequalSatEncoding	This class implements a SAT encoding for refining unequal interpretations in an Abstract Dialectical Framework (ADF).
RelativeSatEncoding	A SatEncoding which is relative to a given interpretation.
RestrictedBipolarSatEncoding	This class implements a SAT encoding for restricted bipolar Abstract Dialectical Frameworks (ADF) based on a given partial interpretation.
RestrictedKBipolarSatEncoding	The RestrictedKBipolarSatEncoding class implements a SAT encoding specifically for restricted bipolar Abstract Dialectical Frameworks (ADFs).
SatEncoding	The SatEncoding interface represents a generic SAT encoding mechanism.
TwoValuedModelSatEncoding	This class implements a SAT encoding for two-valued models in an Abstract Dialectical Framework (ADF).