T
- is the type of the language that the ASPIC theory's rules range overpublic class AspicAttack<T extends Invertable> extends Attack
Constructor and Description |
---|
AspicAttack(AspicArgument<T> active,
AspicArgument<T> passive)
Creates a new AspicAttack
|
Modifier and Type | Method and Description |
---|---|
static <T extends Invertable> |
determineAttackRelations(java.util.Collection<AspicArgument<T>> args,
java.util.Comparator<AspicArgument<T>> order,
RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of arguments
|
static <T extends Invertable> |
isAttack(AspicArgument<T> active,
AspicArgument<T> passive,
RuleFormulaGenerator<T> rfgen,
java.util.Comparator<AspicArgument<T>> order)
Determines whether the attack is successfull
|
java.lang.String |
toString() |
contains, equals, getAttacked, getAttacker, getLdoFormula, getSignature, hashCode, isConflictFree
public AspicAttack(AspicArgument<T> active, AspicArgument<T> passive)
active
- the attacking argumentpassive
- the attacked argumentpublic 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)
args
- a list of argumentsorder
- an comparator which should compare the arguments in argspublic static <T extends Invertable> boolean isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)