Uses of Class
org.tweetyproject.arg.delp.syntax.DelpArgument
-
Packages that use DelpArgument Package Description org.tweetyproject.arg.delp.reasoner org.tweetyproject.arg.delp.semantics org.tweetyproject.arg.delp.syntax -
-
Uses of DelpArgument in org.tweetyproject.arg.delp.reasoner
Methods in org.tweetyproject.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 org.tweetyproject.arg.delp.semantics
Methods in org.tweetyproject.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 org.tweetyproject.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 ofargument1
toargument2
givencontext
.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 parameterargument
is acceptable given the parameterdelp
Constructors in org.tweetyproject.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 org.tweetyproject.arg.delp.syntax
Methods in org.tweetyproject.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 literalMethods in org.tweetyproject.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 org.tweetyproject.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 argumentboolean
DelpArgument. isSubargumentOf(DelpArgument argument)
Checks whether this argument is a subargument of the given argument
-