Package org.tweetyproject.arg.dung.equivalence
package org.tweetyproject.arg.dung.equivalence
-
ClassDescriptionEquivalence<T>This interface defines methods for equivalence notions.Defines local expansion equivalence for Dung theories under a given semantics.This class defines normal deletion equivalence for
argumentation frameworkswrt.This class defines normal expansion equivalence forargumentation frameworkswrt.This class defines 'Serialisation' equivalence forArgumentation Frameworkswrt.This class defines 'standard' equivalence forArgumentation Frameworkswrt.This class defines strong equivalence forargumentation frameworkswrt.This class defines strong expansion equivalence forargumentation frameworkswrt.This class defines 'syntactic' equivalence ofArgumentation Frameworks, i.e., it checks whether two AFs have exactly the same arguments and attacks.This class defines strong expansion equivalence forargumentation frameworkswrt.