Package org.tweetyproject.arg.adf.reasoner.sat.encodings
package org.tweetyproject.arg.adf.reasoner.sat.encodings
-
ClassDescriptionFixes the already assigned true/false values.Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.Contains the propositional representation of the arguments and links of some ADF.Prevents smaller interpretations from being computed, but also allows different interpretations of at least the same size.A SatEncoding which is relative to a given interpretation.