Uses of Class net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator

Packages that use RuleFormulaGenerator
Package	Description
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.aspic.semantics
net.sf.tweety.arg.aspic.syntax

Uses of RuleFormulaGenerator in net.sf.tweety.arg.aspic.parser

Fields in net.sf.tweety.arg.aspic.parser declared as RuleFormulaGenerator
Modifier and Type	Field	Description
`private RuleFormulaGenerator<T>`	AspicParser.`rfg`

Constructors in net.sf.tweety.arg.aspic.parser with parameters of type RuleFormulaGenerator
Constructor	Description
`AspicParser(Parser<? extends BeliefBase,? extends Formula> formulaparser, RuleFormulaGenerator<T> rfg)`	Constructs a new instance

Uses of RuleFormulaGenerator in net.sf.tweety.arg.aspic.reasoner

Methods in net.sf.tweety.arg.aspic.reasoner with parameters of type RuleFormulaGenerator
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 RuleFormulaGenerator in net.sf.tweety.arg.aspic.ruleformulagenerator

Subclasses of RuleFormulaGenerator in net.sf.tweety.arg.aspic.ruleformulagenerator
Modifier and Type Class Description

class FolFormulaGenerator

class PlFormulaGenerator

Uses of RuleFormulaGenerator in net.sf.tweety.arg.aspic.semantics

Methods in net.sf.tweety.arg.aspic.semantics with parameters of type RuleFormulaGenerator
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 arguments
`static <T extends Invertable> boolean`	AspicAttack.`isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)`	Determines whether the attack is successful

Uses of RuleFormulaGenerator in net.sf.tweety.arg.aspic.syntax

Fields in net.sf.tweety.arg.aspic.syntax declared as RuleFormulaGenerator
Modifier and Type	Field	Description
`private RuleFormulaGenerator<T>`	AspicArgumentationTheory.`rfgen`	Used to transform ASPIC inference rules into words of the language they range over

Methods in net.sf.tweety.arg.aspic.syntax that return RuleFormulaGenerator
Modifier and Type	Method	Description
`RuleFormulaGenerator<T>`	AspicArgumentationTheory.`getRuleFormulaGenerator()`	Returns the generator to transform rules into words of the language they range over

Methods in net.sf.tweety.arg.aspic.syntax with parameters of type RuleFormulaGenerator
Modifier and Type	Method	Description
`static <T extends Invertable> boolean`	AspicArgument.`isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order)`	Determines whether the attack is successful
`void`	AspicArgumentationTheory.`setRuleFormulaGenerator(RuleFormulaGenerator<T> rfg)`	Set a new generator to transform rules into words of the language they range over

Constructors in net.sf.tweety.arg.aspic.syntax with parameters of type RuleFormulaGenerator
Constructor	Description
`AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)`	Constructs a new ASPIC argumentation theory