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

Modifier	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
Set<DeductiveArgument>	DeductiveKnowledgeBase.getDeductiveArguments()	Computes all deductive arguments.
Set<DeductiveArgument>	DeductiveKnowledgeBase.getDeductiveArguments(PlFormula claim)	Computes all deductive arguments for the given claim.