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 and Description
private double	HCategorizer.categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node) Categorizes the node in the given tree.
private double	ClassicalCategorizer.categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node) Performs the bottom-up search.

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 and Description
private ArgumentTree	SimpleReasoner.getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgumentNode argNode, java.util.Set<PropositionalFormula> 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 and 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 and 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 and 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<PropositionalFormula> 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 and 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 and 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 and Description
private double	CredibilityCategorizer.categorize(ArgumentTree argumentTree, DeductiveArgumentNode parent, DeductiveArgumentNode node) Performs the bottom-up search.