Uses of Class org.tweetyproject.arg.deductive.semantics.DeductiveArgument

Packages that use DeductiveArgument
Package	Description
org.tweetyproject.arg.deductive.semantics
org.tweetyproject.arg.deductive.semantics.attacks
org.tweetyproject.arg.deductive.syntax

Uses of DeductiveArgument in org.tweetyproject.arg.deductive.semantics

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

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.deductive.semantics.attacks

Methods in org.tweetyproject.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 org.tweetyproject.arg.deductive.syntax

Methods in org.tweetyproject.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.