Uses of Class
net.sf.tweety.arg.aspic.syntax.AspicArgument
-
Packages that use AspicArgument Package Description net.sf.tweety.arg.aspic.order net.sf.tweety.arg.aspic.reasoner net.sf.tweety.arg.aspic.semantics net.sf.tweety.arg.aspic.syntax -
-
Uses of AspicArgument in net.sf.tweety.arg.aspic.order
Methods in net.sf.tweety.arg.aspic.order with parameters of type AspicArgument Modifier and Type Method Description int
LastLinkOrder. compare(AspicArgument<T> a, AspicArgument<T> b)
int
SimpleAspicOrder. compare(AspicArgument<T> a, AspicArgument<T> b)
int
WeakestLinkOrder. compare(AspicArgument<T> a, AspicArgument<T> b)
-
Uses of AspicArgument in net.sf.tweety.arg.aspic.reasoner
Methods in net.sf.tweety.arg.aspic.reasoner with parameters of type AspicArgument Modifier and Type Method Description java.util.Collection<T>
DirectionalAspicReasoner. getAttackingConclusions(AspicArgument<T> arg, RuleFormulaGenerator<T> rfgen)
Returns all "attacking conclusions" of the given argument. -
Uses of AspicArgument in net.sf.tweety.arg.aspic.semantics
Methods in net.sf.tweety.arg.aspic.semantics with parameters of type AspicArgument Modifier and Type Method Description int
SimpleAspicOrder. compare(AspicArgument<T> a, AspicArgument<T> b)
static <T extends Invertable>
booleanAspicAttack. isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)
Determines whether the attack is successfulMethod parameters in net.sf.tweety.arg.aspic.semantics with type arguments of type AspicArgument Modifier and Type Method Description static <T extends Invertable>
java.util.Collection<AspicAttack<T>>AspicAttack. determineAttackRelations(java.util.Collection<AspicArgument<T>> args, java.util.Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of argumentsstatic <T extends Invertable>
java.util.Collection<AspicAttack<T>>AspicAttack. determineAttackRelations(java.util.Collection<AspicArgument<T>> args, java.util.Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of argumentsstatic <T extends Invertable>
booleanAspicAttack. isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)
Determines whether the attack is successfulConstructors in net.sf.tweety.arg.aspic.semantics with parameters of type AspicArgument Constructor Description AspicAttack(AspicArgument<T> active, AspicArgument<T> passive)
Creates a new AspicAttack -
Uses of AspicArgument in net.sf.tweety.arg.aspic.syntax
Methods in net.sf.tweety.arg.aspic.syntax that return AspicArgument Modifier and Type Method Description AspicArgument<T>
AspicArgument. shallowCopy()
Methods in net.sf.tweety.arg.aspic.syntax that return types with arguments of type AspicArgument Modifier and Type Method Description java.util.Collection<AspicArgument<T>>
AspicArgument. getAllSubs()
returns the Subs according to the ASPIC+ specificationjava.util.Collection<AspicArgument<T>>
AspicArgumentationTheory. getArguments()
Expands this systems's inference rules into a tree argumentsjava.util.Collection<AspicArgument<T>>
AspicArgument. getDefeasibleSubs()
Determines subarguments with defeasible toprules, premises do not count as subrulesjava.util.Collection<AspicArgument<T>>
AspicArgument. getDirectSubs()
The argument's direct children, whose conclusions fit its prerequisitesjava.util.Comparator<AspicArgument<T>>
AspicArgumentationTheory. getOrder()
java.util.Collection<AspicArgument<T>>
AspicArgument. getOrdinaryPremises()
Methods in net.sf.tweety.arg.aspic.syntax with parameters of type AspicArgument Modifier and Type Method Description void
AspicArgument. addDirectSub(AspicArgument<T> sub)
Adds a subargumentstatic <T extends Invertable>
booleanAspicArgument. isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)
Determines whether the attack is successfulboolean
AspicArgument. isSubArgumentOf(AspicArgument<T> arg)
Checks wheter this is a direct or indirect subargument ofarg
Method parameters in net.sf.tweety.arg.aspic.syntax with type arguments of type AspicArgument Modifier and Type Method Description static <T extends Invertable>
booleanAspicArgument. isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)
Determines whether the attack is successfulvoid
AspicArgumentationTheory. setOrder(java.util.Comparator<AspicArgument<T>> order)
Sets a new order over the argumentsConstructor parameters in net.sf.tweety.arg.aspic.syntax with type arguments of type AspicArgument Constructor Description AspicArgument(InferenceRule<T> toprule, java.util.Collection<AspicArgument<T>> directsubs)
Creates an empty Argument
-