| Package | Description | 
|---|---|
| net.sf.tweety.arg.aspic | |
| net.sf.tweety.arg.aspic.order | |
| net.sf.tweety.arg.aspic.semantics | |
| net.sf.tweety.arg.aspic.syntax | 
| Modifier and Type | Field and Description | 
|---|---|
private java.util.Comparator<AspicArgument<T>> | 
AspicArgumentationTheory.order
An order over this system's arguments, needed for their defeat relation 
 | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Collection<AspicArgument<T>> | 
AspicArgumentationTheory.getArguments()
Expands this systems's inference rules into a tree arguments 
 | 
java.util.Comparator<AspicArgument<T>> | 
AspicArgumentationTheory.getOrder()  | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
AspicArgumentationTheory.setOrder(java.util.Comparator<AspicArgument<T>> order)
Sets a new order over the arguments 
 | 
| Modifier and Type | Method and Description | 
|---|---|
int | 
WeakestLinkOrder.compare(AspicArgument<T> a,
       AspicArgument<T> b)  | 
int | 
WeakestLinkOrder.compare(AspicArgument<T> a,
       AspicArgument<T> b)  | 
int | 
SimpleAspicOrder.compare(AspicArgument<T> a,
       AspicArgument<T> b)  | 
int | 
SimpleAspicOrder.compare(AspicArgument<T> a,
       AspicArgument<T> b)  | 
int | 
LastLinkOrder.compare(AspicArgument<T> a,
       AspicArgument<T> b)  | 
int | 
LastLinkOrder.compare(AspicArgument<T> a,
       AspicArgument<T> b)  | 
| Modifier and Type | Field and Description | 
|---|---|
private java.util.Comparator<AspicArgument<T>> | 
AspicAttack.order
The binary ordring to determine if attacks are successfull 
 | 
| Modifier and Type | Method and Description | 
|---|---|
int | 
SimpleAspicOrder.compare(AspicArgument<T> a,
       AspicArgument<T> b)  | 
int | 
SimpleAspicOrder.compare(AspicArgument<T> a,
       AspicArgument<T> b)  | 
| Modifier and Type | Method and Description | 
|---|---|
static <T extends Invertable> | 
AspicAttack.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> | 
AspicAttack.determineAttackRelations(java.util.Collection<AspicArgument<T>> args,
                        java.util.Comparator<AspicArgument<T>> order,
                        RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of arguments 
 | 
void | 
AspicAttack.setOrder(java.util.Comparator<AspicArgument<T>> order)
Set an order for the arguments to determine if an attack ends in an defeat 
 | 
| Constructor and Description | 
|---|
AspicAttack(AspicArgument<T> active,
           AspicArgument<T> passive)
Creates a new AspicAttack 
 | 
AspicAttack(AspicArgument<T> active,
           AspicArgument<T> passive)
Creates a new AspicAttack 
 | 
| Modifier and Type | Field and Description | 
|---|---|
private java.util.List<AspicArgument<T>> | 
AspicArgument.directsubs
The argument's direct children, whose conclusions fit its prerequisites 
 | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Collection<AspicArgument<T>> | 
AspicArgument.getAllSubs()
returns the Subs according to the ASPIC+ specification 
 | 
java.util.Collection<AspicArgument<T>> | 
AspicArgument.getDefeasibleSubs()
Determines subarguments with defeasible toprules, premises do not count as subrules 
 | 
java.util.Collection<AspicArgument<T>> | 
AspicArgument.getDirectSubs()
The argument's direct children, whose conclusions fit its prerequisites 
 | 
java.util.Collection<AspicArgument<T>> | 
AspicArgument.getOrdinaryPremises()  | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
AspicArgument.addDirectSub(AspicArgument<T> sub)
Adds a subargument 
 | 
boolean | 
AspicArgument.isSubArgumentOf(AspicArgument<T> arg)
Checks wheter this is a direct or indirect subargument of  
arg | 
| Constructor and Description | 
|---|
AspicArgument(DigraphNode<InferenceRule<T>> node,
             java.util.Collection<AspicArgument<T>> as)
Creates an new argument with and all of its subarguments and adds them to as 
 |