Uses of Class net.sf.tweety.arg.deductive.semantics.DeductiveArgument

Packages that use DeductiveArgument
Package	Description
net.sf.tweety.arg.deductive.reasoner
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.deductive.semantics.attacks
net.sf.tweety.arg.deductive.syntax

Uses of DeductiveArgument in net.sf.tweety.arg.deductive.reasoner

Methods in net.sf.tweety.arg.deductive.reasoner with parameters of type DeductiveArgument
Modifier and Type	Method	Description
`protected abstract ArgumentTree`	AbstractDeductiveArgumentationReasoner.`getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)`	Computes the argument tree of the given argument.
`protected ArgumentTree`	CompilationReasoner.`getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)`
`protected ArgumentTree`	SimpleDeductiveReasoner.`getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)`

Uses of DeductiveArgument in net.sf.tweety.arg.deductive.semantics

Subclasses of DeductiveArgument in net.sf.tweety.arg.deductive.semantics
Modifier and Type	Class	Description
`class`	`DeductiveArgumentNode`	Extends a deductive argument by a unique identifier.

Methods in net.sf.tweety.arg.deductive.semantics with parameters of type DeductiveArgument
Modifier and Type	Method	Description
`private java.util.Set<CompilationNode>`	Compilation.`firstLevel(DeductiveArgument arg)`	This method returns the compilation nodes that can be used to construct undercuts to the given argument.
`ArgumentTree`	Compilation.`getArgumentTree(DeductiveArgument arg)`	Returns the argument tree for the given argument.

Constructors in net.sf.tweety.arg.deductive.semantics with parameters of type DeductiveArgument
Constructor	Description
`DeductiveArgumentNode(DeductiveArgument arg)`	Creates a new deductive argument node from the given deductive argument (a unique ID is generated)

Uses of DeductiveArgument in net.sf.tweety.arg.deductive.semantics.attacks

Methods in net.sf.tweety.arg.deductive.semantics.attacks with parameters of type DeductiveArgument
Modifier and Type	Method	Description
`boolean`	Attack.`isAttackedBy(DeductiveArgument a, DeductiveArgument b)`	Returns "true" iff the first argument is attacked by the second argument.
`boolean`	CanonicalUndercut.`isAttackedBy(DeductiveArgument a, DeductiveArgument b)`
`boolean`	Defeat.`isAttackedBy(DeductiveArgument a, DeductiveArgument b)`
`boolean`	DefeatingRebuttal.`isAttackedBy(DeductiveArgument a, DeductiveArgument b)`
`boolean`	DirectDefeat.`isAttackedBy(DeductiveArgument a, DeductiveArgument b)`
`boolean`	DirectUndercut.`isAttackedBy(DeductiveArgument a, DeductiveArgument b)`
`boolean`	Rebuttal.`isAttackedBy(DeductiveArgument a, DeductiveArgument b)`
`boolean`	Undercut.`isAttackedBy(DeductiveArgument a, DeductiveArgument b)`

Uses of DeductiveArgument in net.sf.tweety.arg.deductive.syntax

Methods in net.sf.tweety.arg.deductive.syntax that return types with arguments of type DeductiveArgument
Modifier and Type	Method	Description
`java.util.Set<DeductiveArgument>`	DeductiveKnowledgeBase.`getDeductiveArguments()`	Computes all deductive arguments.
`java.util.Set<DeductiveArgument>`	DeductiveKnowledgeBase.`getDeductiveArguments(PlFormula claim)`	Computes all deductive arguments for the given claim.