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.