Uses of Class
net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework
-
Packages that use EvidentialArgumentationFramework Package Description net.sf.tweety.arg.bipolar.reasoner.evidential net.sf.tweety.arg.bipolar.syntax -
-
Uses of EvidentialArgumentationFramework in net.sf.tweety.arg.bipolar.reasoner.evidential
-
Uses of EvidentialArgumentationFramework in net.sf.tweety.arg.bipolar.syntax
Methods in net.sf.tweety.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 net.sf.tweety.arg.bipolar.syntax with parameters of type EvidentialArgumentationFramework Modifier and Type Method Description int
EvidentialArgumentationFramework. compareTo(EvidentialArgumentationFramework o)
Constructors in net.sf.tweety.arg.bipolar.syntax with parameters of type EvidentialArgumentationFramework Constructor Description NecessityArgumentationFramework(EvidentialArgumentationFramework eaf)
creates a necessity argumentation framework from the given evidential argumentation framework
-