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

Packages that use DeductiveArgument

Package	Description
net.sf.tweety.arg.deductive
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.deductive.semantics.attacks

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

Methods in net.sf.tweety.arg.deductive that return types with arguments of type DeductiveArgument

Modifier and Type	Method and Description
Set<DeductiveArgument>	DeductiveKnowledgeBase.getDeductiveArguments() Computes all deductive arguments.
Set<DeductiveArgument>	DeductiveKnowledgeBase.getDeductiveArguments(net.sf.tweety.logics.pl.syntax.PropositionalFormula claim) Computes all deductive arguments for the given claim.

Methods in net.sf.tweety.arg.deductive with parameters of type DeductiveArgument

Modifier and Type	Method and Description
protected ArgumentTree	CompilationReasoner.getArgumentTree(DeductiveArgument arg)
protected ArgumentTree	SimpleReasoner.getArgumentTree(DeductiveArgument arg)
protected abstract ArgumentTree	AbstractDeductiveArgumentationReasoner.getArgumentTree(DeductiveArgument arg) Computes the argument tree of the given argument.

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

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

Modifier and Type	Class and 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 and 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 and 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 and Description
boolean	DirectUndercut.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	Rebuttal.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	CanonicalUndercut.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	Attack.isAttackedBy(DeductiveArgument a, DeductiveArgument b) Returns "true" iff the first argument is attacked by the second argument.
boolean	Defeat.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	DefeatingRebuttal.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	DirectDefeat.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	Undercut.isAttackedBy(DeductiveArgument a, DeductiveArgument b)