Uses of Class
net.sf.tweety.arg.delp.syntax.DelpArgument

Packages that use DelpArgument

Package	Description
net.sf.tweety.arg.delp
net.sf.tweety.arg.delp.reasoner
net.sf.tweety.arg.delp.semantics
net.sf.tweety.arg.delp.syntax

Uses of DelpArgument in net.sf.tweety.arg.delp

Fields in net.sf.tweety.arg.delp declared as DelpArgument

Modifier and Type	Field	Description
(package private) static DelpArgument	TestArguments.ARG_TINA_FLIES1
(package private) static DelpArgument	TestArguments.ARG_TINA_FLIES2
(package private) static DelpArgument	TestArguments.ARG_TINA_NESTS
(package private) static DelpArgument	TestArguments.ARG_TINA_NOT_FLIES

Uses of DelpArgument in net.sf.tweety.arg.delp.reasoner

Methods in net.sf.tweety.arg.delp.reasoner that return types with arguments of type DelpArgument

Modifier and Type	Method	Description
static java.util.Set<DelpArgument>	DelpReasoner.getArgumentsWithConclusion(DefeasibleLogicProgram delp, FolFormula f)	Returns all arguments with the given conclusion from the delp.
java.util.Set<DelpArgument>	DelpReasoner.getWarrants(DefeasibleLogicProgram delp)	Computes the subset of the arguments of this program, that are warrants.

Methods in net.sf.tweety.arg.delp.reasoner with parameters of type DelpArgument

Modifier and Type	Method	Description
private boolean	DelpReasoner.isWarrant(DefeasibleLogicProgram groundDelp, DelpArgument argument)	Checks whether the given argument is a warrant regarding a given set of arguments

Uses of DelpArgument in net.sf.tweety.arg.delp.semantics

Subclasses of DelpArgument in net.sf.tweety.arg.delp.semantics

Modifier and Type	Class	Description
(package private) class	ArgumentCompletion	This class models the completion of an argument in the framework of defeasible logic programming.

Fields in net.sf.tweety.arg.delp.semantics declared as DelpArgument

Modifier and Type	Field	Description
private DelpArgument	DialecticalTree.argument	The argument in this node

Methods in net.sf.tweety.arg.delp.semantics that return types with arguments of type DelpArgument

Modifier and Type	Method	Description
java.util.stream.Stream<DelpArgument>	DialecticalTree.getArgumentationLine()	Returns the argumentation line which is generated by the path from this node to the root (in reverse)

Methods in net.sf.tweety.arg.delp.semantics with parameters of type DelpArgument

Modifier and Type	Method	Description
private boolean	GeneralizedSpecificity.actSetTest(java.util.Set<java.util.Set<FolFormula>> ntActSets, DelpArgument arg, DefeasibleLogicProgram delp)	Test whether all given activation sets activate the given argument.
abstract ComparisonCriterion.Result	ComparisonCriterion.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)	This method returns the relation of argument1 to argument2 given context.
ComparisonCriterion.Result	EmptyCriterion.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)
ComparisonCriterion.Result	GeneralizedSpecificity.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)
static java.util.Set<ArgumentCompletion>	ArgumentCompletion.getCompletions(DelpArgument argument, DefeasibleLogicProgram delp)	This static method computes all argument completions for the given parameter argument using the strict rules from the parameter delp
boolean	DialecticalTree.isAcceptable(DelpArgument argument, DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion)	Checks whether the argumentation line composed of the ancestors of this node and the parameter argument is acceptable given the parameter delp
private boolean	GeneralizedSpecificity.isActivated(DelpArgument arg, java.util.Set<FolFormula> activationSet, DefeasibleLogicProgram delp)	Test whether the given argument is activated by the given activation set.

Constructors in net.sf.tweety.arg.delp.semantics with parameters of type DelpArgument

Constructor	Description
ArgumentCompletion(DelpArgument argument)	Constructor; initializes this argument completion with the given DeLP argument.
DialecticalTree(DialecticalTree parent, DelpArgument argument)
DialecticalTree(DelpArgument argument)	constructor; initializes this dialectical tree node as a root with given argument

Uses of DelpArgument in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax that return DelpArgument

Modifier and Type	Method	Description
DelpArgument	DelpArgument.getDisagreementSubargument(FolFormula lit, DefeasibleLogicProgram delp)	Computes the disagreement subargument of this argument for the given literal

Methods in net.sf.tweety.arg.delp.syntax that return types with arguments of type DelpArgument

Modifier and Type	Method	Description
java.util.Set<DelpArgument>	DefeasibleLogicProgram.getArguments()	Returns the set of all possible arguments, that can be built in this delp.

Methods in net.sf.tweety.arg.delp.syntax with parameters of type DelpArgument

Modifier and Type	Method	Description
boolean	DelpArgument.isStrongSubargumentOf(DelpArgument argument)	Checks whether this argument is a strong subargument of the given argument, i.e., if the support of this argument is a strict subset of the support of the given argument
boolean	DelpArgument.isSubargumentOf(DelpArgument argument)	Checks whether this argument is a subargument of the given argument