Uses of Class
net.sf.tweety.arg.deductive.semantics.ArgumentTree
-
Packages that use ArgumentTree Package Description net.sf.tweety.arg.deductive.categorizer net.sf.tweety.arg.deductive.reasoner net.sf.tweety.arg.deductive.semantics net.sf.tweety.beliefdynamics.mas -
-
Uses of ArgumentTree in net.sf.tweety.arg.deductive.categorizer
Methods in net.sf.tweety.arg.deductive.categorizer with parameters of type ArgumentTree Modifier and Type Method Description doubleCategorizer. categorize(ArgumentTree argumentTree)This method categorizes the given argument tree.doubleClassicalCategorizer. categorize(ArgumentTree argumentTree)private doubleClassicalCategorizer. categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node)Performs the bottom-up search.doubleHCategorizer. categorize(ArgumentTree argumentTree)private doubleHCategorizer. categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node)Categorizes the node in the given tree. -
Uses of ArgumentTree in net.sf.tweety.arg.deductive.reasoner
Methods in net.sf.tweety.arg.deductive.reasoner that return ArgumentTree Modifier and Type Method Description protected abstract ArgumentTreeAbstractDeductiveArgumentationReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)Computes the argument tree of the given argument.protected ArgumentTreeCompilationReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)protected ArgumentTreeSimpleDeductiveReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)private ArgumentTreeSimpleDeductiveReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgumentNode argNode, java.util.Set<PlFormula> support)Computes the argument tree of the given argument. -
Uses of ArgumentTree in net.sf.tweety.arg.deductive.semantics
Methods in net.sf.tweety.arg.deductive.semantics that return ArgumentTree Modifier and Type Method Description ArgumentTreeCompilation. getArgumentTree(DeductiveArgument arg)Returns the argument tree for the given argument.Methods in net.sf.tweety.arg.deductive.semantics with parameters of type ArgumentTree Modifier and Type Method Description private voidCompilation. subcuts(DeductiveArgumentNode argNode, java.util.Set<CompilationNode> remainingNodes, CompilationNode current, java.util.Set<PlFormula> currentSupport, ArgumentTree argTree)This method recursively builds up the argument tree from the given argument. -
Uses of ArgumentTree in net.sf.tweety.beliefdynamics.mas
Methods in net.sf.tweety.beliefdynamics.mas with parameters of type ArgumentTree Modifier and Type Method Description doubleCredibilityCategorizer. categorize(ArgumentTree argumentTree)private doubleCredibilityCategorizer. categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node)Performs the bottom-up search.
-