Uses of Class
net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
-
Packages that use DeductiveArgumentNode 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 DeductiveArgumentNode in net.sf.tweety.arg.deductive.categorizer
Methods in net.sf.tweety.arg.deductive.categorizer with parameters of type DeductiveArgumentNode Modifier and Type Method Description private double
ClassicalCategorizer. categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node)
Performs the bottom-up search.private double
HCategorizer. categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node)
Categorizes the node in the given tree. -
Uses of DeductiveArgumentNode in net.sf.tweety.arg.deductive.reasoner
Methods in net.sf.tweety.arg.deductive.reasoner with parameters of type DeductiveArgumentNode Modifier and Type Method Description private ArgumentTree
SimpleDeductiveReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgumentNode argNode, java.util.Set<PlFormula> support)
Computes the argument tree of the given argument. -
Uses of DeductiveArgumentNode in net.sf.tweety.arg.deductive.semantics
Fields in net.sf.tweety.arg.deductive.semantics declared as DeductiveArgumentNode Modifier and Type Field Description private DeductiveArgumentNode
ArgumentTree. rootNode
The root node of this tree.Methods in net.sf.tweety.arg.deductive.semantics that return DeductiveArgumentNode Modifier and Type Method Description DeductiveArgumentNode
ArgumentTree. getRoot()
Returns the root node of this tree.Methods in net.sf.tweety.arg.deductive.semantics with parameters of type DeductiveArgumentNode Modifier and Type Method Description private java.lang.String
ArgumentTree. prettyPrint(DeductiveArgumentNode node, java.util.Set<DeductiveArgumentNode> visitedNodes, int depth)
Returns a string representation of the subtree rooted at the given node.private void
Compilation. 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.Method parameters in net.sf.tweety.arg.deductive.semantics with type arguments of type DeductiveArgumentNode Modifier and Type Method Description private java.lang.String
ArgumentTree. prettyPrint(DeductiveArgumentNode node, java.util.Set<DeductiveArgumentNode> visitedNodes, int depth)
Returns a string representation of the subtree rooted at the given node.Constructors in net.sf.tweety.arg.deductive.semantics with parameters of type DeductiveArgumentNode Constructor Description ArgumentTree(DeductiveArgumentNode root)
Creates an empty argument tree for the given root node. -
Uses of DeductiveArgumentNode in net.sf.tweety.beliefdynamics.mas
Methods in net.sf.tweety.beliefdynamics.mas with parameters of type DeductiveArgumentNode Modifier and Type Method Description private double
CredibilityCategorizer. categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node)
Performs the bottom-up search.
-