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

Packages that use DeductiveArgument
Package Description

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.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
`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.