Uses of Class
org.tweetyproject.arg.aba.semantics.AbaExtension
-
Uses of AbaExtension in org.tweetyproject.arg.aba.reasoner
Modifier and TypeMethodDescription -
Uses of AbaExtension in org.tweetyproject.arg.aba.syntax
Modifier and TypeMethodDescriptionAbaTheory.getAllAdmissbleExtensions()
Computes all admissible extensions.Modifier and TypeMethodDescriptionboolean
AbaTheory.isAdmissible(AbaExtension<T> ext)
Checks whether a set of arguments is admissible.