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
java.util.Set<DeductiveArgument>	DeductiveKnowledgeBase.getDeductiveArguments() Computes all deductive arguments.
java.util.Set<DeductiveArgument>	DeductiveKnowledgeBase.getDeductiveArguments(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	SimpleReasoner.getArgumentTree(DeductiveArgument arg)
protected ArgumentTree	CompilationReasoner.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
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 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	Undercut.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	Rebuttal.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	DirectUndercut.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	DirectDefeat.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	DefeatingRebuttal.isAttackedBy(DeductiveArgument a, DeductiveArgument b)
boolean	Defeat.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.