Package org.tweetyproject.arg.adf.reasoner.sat.verifier
package org.tweetyproject.arg.adf.reasoner.sat.verifier
-
ClassDescriptionVerifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.Verifies if a given interpretation is conflict-free and maximal, i.e.