Uses of Interface
net.sf.tweety.arg.adf.reasoner.sat.encodings.SatEncoding

Packages that use SatEncoding

Package	Description
net.sf.tweety.arg.adf.reasoner.sat.encodings

Uses of SatEncoding in net.sf.tweety.arg.adf.reasoner.sat.encodings

Classes in net.sf.tweety.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
class	TwoValuedModelSatEncoding
class	VerifyAdmissibleSatEncoding