Uses of Class
net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework
-
Packages that use StructuredArgumentationFramework Package Description net.sf.tweety.arg.saf.reasoner net.sf.tweety.arg.saf.syntax net.sf.tweety.arg.saf.util -
-
Uses of StructuredArgumentationFramework in net.sf.tweety.arg.saf.reasoner
Methods in net.sf.tweety.arg.saf.reasoner with parameters of type StructuredArgumentationFramework Modifier and Type Method Description Set<net.sf.tweety.logics.pl.syntax.Proposition>OutputReasoner. getOutput(StructuredArgumentationFramework saf)Returns the output this reasoner bases upon.BooleanOutputReasoner. query(StructuredArgumentationFramework beliefbase, net.sf.tweety.logics.pl.syntax.Proposition formula) -
Uses of StructuredArgumentationFramework in net.sf.tweety.arg.saf.syntax
Methods in net.sf.tweety.arg.saf.syntax with parameters of type StructuredArgumentationFramework Modifier and Type Method Description booleanArgumentStructure. attacks(ArgumentStructure other, StructuredArgumentationFramework saf)Checks whether this argument structure attacks the other argument structure, i.e.booleanArgumentStructure. isValid(StructuredArgumentationFramework saf)Checks whether this argument structure is valid wrt. -
Uses of StructuredArgumentationFramework in net.sf.tweety.arg.saf.util
Methods in net.sf.tweety.arg.saf.util that return StructuredArgumentationFramework Modifier and Type Method Description StructuredArgumentationFrameworkSimpleSafSampler. next()
-