Package org.tweetyproject.arg.dung.equivalence
package org.tweetyproject.arg.dung.equivalence
-
ClassDescriptionThis interface defines methods, which define how a system should decide if certain criteria are fulfilled.Equivalence<T>This interface defines methods to analyze the equivalence of two objects.This class represents an example generator.This interface defines methods to generate equivalent theories.This class represents an comparator, which defines if 2 argumentation frameworks are equivalent, by comparing if they are equal.This class represents an comparator, which defines if 2 argumentation frameworks are equivalent, by comparing if they have the same extensions wrt a semantics specified by a reasoner.Models strong equivalence wrt.