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

Packages that use DelpArgument
Package Description

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.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.

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

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
`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)`
`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`

Constructors in net.sf.tweety.arg.delp.semantics with parameters of type DelpArgument
Constructor	Description
`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