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
class	ConflictFreeInterpretationSatEncoding
class	FixPartialSatEncoding	Fixes the already assigned true/false values.
class	KBipolarSatEncoding
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
class	RelativeBipolarSatEncoding
class	RelativeKBipolarSatEncoding	Deprecated.
class	TwoValuedModelSatEncoding
class	VerifyAdmissibleSatEncoding