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
-