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
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
class	TwoValuedModelSatEncoding