Class AspicAttack<T extends Invertable>
- java.lang.Object
-
- net.sf.tweety.graphs.Edge<T>
-
- net.sf.tweety.graphs.DirectedEdge<Argument>
-
- net.sf.tweety.arg.dung.syntax.Attack
-
- net.sf.tweety.arg.aspic.semantics.AspicAttack<T>
-
- Type Parameters:
T
- is the type of the language that the ASPIC theory's rules range over
- All Implemented Interfaces:
DungEntity
,Formula
public class AspicAttack<T extends Invertable> extends Attack
- Author:
- Nils Geilen Checks whether an argument defeats another argument
-
-
Constructor Summary
Constructors Constructor Description AspicAttack(AspicArgument<T> active, AspicArgument<T> passive)
Creates a new AspicAttack
-
Method Summary
Modifier and Type Method Description static <T extends Invertable>
java.util.Collection<AspicAttack<T>>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>
booleanisAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)
Determines whether the attack is successfuljava.lang.String
toString()
-
Methods inherited from class net.sf.tweety.arg.dung.syntax.Attack
contains, equals, getAttacked, getAttacker, getLdoFormula, getSignature, hashCode, isConflictFree
-
-
-
-
Constructor Detail
-
AspicAttack
public AspicAttack(AspicArgument<T> active, AspicArgument<T> passive)
Creates a new AspicAttack- Parameters:
active
- the attacking argumentpassive
- the attacked argument
-
-
Method Detail
-
determineAttackRelations
public static <T extends Invertable> java.util.Collection<AspicAttack<T>> determineAttackRelations(java.util.Collection<AspicArgument<T>> args, java.util.Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of arguments- Type Parameters:
T
- the type of formula- Parameters:
args
- a list of argumentsorder
- an comparator which should compare the arguments in argsrfgen
- a rule formula generator- Returns:
- a list of all tuples (a,b) with a, b in args where a defeats b
-
isAttack
public static <T extends Invertable> boolean isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)
Determines whether the attack is successful- Type Parameters:
T
- the type of formulas- Parameters:
active
- the active argumentpassive
- the passive argumentrfgen
- a rule formula generatororder
- a comparator- Returns:
- true iff the attack is succuessful
-
-