Package | Description |
---|---|
net.sf.tweety.arg.aspic.parser | |
net.sf.tweety.arg.aspic.ruleformulagenerator | |
net.sf.tweety.arg.aspic.semantics | |
net.sf.tweety.arg.aspic.syntax |
Modifier and Type | Field and Description |
---|---|
private RuleFormulaGenerator<T> |
AspicParser.rfg |
Constructor and Description |
---|
AspicParser(Parser<? extends BeliefBase> formulaparser,
RuleFormulaGenerator<T> rfg)
Constructs a new instance
|
Modifier and Type | Class and Description |
---|---|
class |
FolFormulaGenerator |
class |
PlFormulaGenerator |
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.isAttack(AspicArgument<T> active,
AspicArgument<T> passive,
RuleFormulaGenerator<T> rfgen,
java.util.Comparator<AspicArgument<T>> order)
Determines whether the attack is successfull
|
Modifier and Type | Field and Description |
---|---|
private RuleFormulaGenerator<T> |
AspicArgumentationTheory.rfgen
Used to transform ASPIC inference rules into words of the language they range over
|
Modifier and Type | Method and Description |
---|---|
RuleFormulaGenerator<T> |
AspicArgumentationTheory.getRuleFormulaGenerator()
Returns the generator to transform rules into words of the language they range over
|
Modifier and Type | Method and Description |
---|---|
void |
AspicArgumentationTheory.setRuleFormulaGenerator(RuleFormulaGenerator<T> rfg)
Set a new generator to transform rules into words of the language they range over
|
Constructor and Description |
---|
AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)
Constructs a new ASPIC argumentation theory
|