Package net.sf.tweety.arg.adf.reasoner.sat.encodings
-
Interface Summary Interface Description SatEncoding -
Class Summary Class Description BipolarSatEncoding ConflictFreeInterpretationSatEncoding FixPartialSatEncoding Fixes the already assigned true/false values.KBipolarSatEncoding LargerInterpretationSatEncoding Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.PropositionalMapping Contains the propositional representation of the arguments and links of some ADF.RefineLargerSatEncoding Prevents smaller interpretations from being computed, but also allows different interpretations of at least the same size.RefineUnequalSatEncoding RelativeBipolarSatEncoding RelativeKBipolarSatEncoding TwoValuedModelSatEncoding VerifyAdmissibleSatEncoding