Uses of Class
org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
-
Packages that use EvidentialArgumentationFramework Package Description org.tweetyproject.arg.bipolar.reasoner.evidential org.tweetyproject.arg.bipolar.syntax -
-
Uses of EvidentialArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner.evidential
-
Uses of EvidentialArgumentationFramework in org.tweetyproject.arg.bipolar.syntax
Methods in org.tweetyproject.arg.bipolar.syntax that return EvidentialArgumentationFramework Modifier and Type Method Description EvidentialArgumentationFramework
EvidentialArgumentationFramework. getMinimalForm()
calculates the minimal form of this argumentation framework ie.EvidentialArgumentationFramework
NecessityArgumentationFramework. toEAF()
translates this necessity argumentation framework into an evidential argumentation framework Translation algorithm from: Polberg, Oren.Methods in org.tweetyproject.arg.bipolar.syntax with parameters of type EvidentialArgumentationFramework Modifier and Type Method Description int
EvidentialArgumentationFramework. compareTo(EvidentialArgumentationFramework o)
Constructors in org.tweetyproject.arg.bipolar.syntax with parameters of type EvidentialArgumentationFramework Constructor Description NecessityArgumentationFramework(EvidentialArgumentationFramework eaf)
creates a necessity argumentation framework from the given evidential argumentation framework
-