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 intLastLinkOrder. compare(AspicArgument<T> a, AspicArgument<T> b)intSimpleAspicOrder. compare(AspicArgument<T> a, AspicArgument<T> b)intWeakestLinkOrder. 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 intSimpleAspicOrder. 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 voidAspicArgument. 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 successfulbooleanAspicArgument. isSubArgumentOf(AspicArgument<T> arg)Checks wheter this is a direct or indirect subargument ofargMethod 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 successfulvoidAspicArgumentationTheory. 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
-