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

Packages that use SatEncoding

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

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

Classes in net.sf.tweety.arg.adf.reasoner.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
class	RefineLargerSatEncoding	TODO work out difference to LargerInterpretationSatEncoding in documentation
class	RefineUnequalSatEncoding
class	TwoValuedModelSatEncoding
class	VerifyAdmissibleSatEncoding