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

Packages that use RelativeSatEncoding

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

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

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

Modifier and Type	Class	Description
class	ConflictFreeInterpretationSatEncoding	This class implements a SAT encoding for conflict-free interpretations in an Abstract Dialectical Framework (ADF).
class	FixPartialSatEncoding	Fixes the already assigned true/false values.
class	LargerInterpretationSatEncoding	Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.
class	RefineLargerSatEncoding	Prevents smaller interpretations from being computed, but also allows different interpretations of at least the same size.
class	RefineUnequalSatEncoding	This class implements a SAT encoding for refining unequal interpretations in an Abstract Dialectical Framework (ADF).
class	TwoValuedModelSatEncoding	This class implements a SAT encoding for two-valued models in an Abstract Dialectical Framework (ADF).