Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding

Packages that use SatEncoding

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

Uses of SatEncoding in org.tweetyproject.arg.adf.reasoner.sat.encodings

Classes in org.tweetyproject.arg.adf.reasoner.sat.encodings that implement SatEncoding

Modifier and Type	Class	Description
class	BipolarSatEncoding	This class implements a SAT encoding for bipolar Abstract Dialectical Frameworks (ADF).
class	ConflictFreeInterpretationSatEncoding	This class implements a SAT encoding for conflict-free interpretations in an Abstract Dialectical Framework (ADF).
final class	KBipolarSatEncoding	The KBipolarSatEncoding class provides an encoding of a bipolar argumentation framework into a propositional formula for SAT solving.
class	RestrictedBipolarSatEncoding	This class implements a SAT encoding for restricted bipolar Abstract Dialectical Frameworks (ADF) based on a given partial interpretation.
final class	RestrictedKBipolarSatEncoding	The RestrictedKBipolarSatEncoding class implements a SAT encoding specifically for restricted bipolar Abstract Dialectical Frameworks (ADFs).
class	TwoValuedModelSatEncoding	This class implements a SAT encoding for two-valued models in an Abstract Dialectical Framework (ADF).