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

Packages that use RuleFormulaGenerator

Package	Description
net.sf.tweety.arg.aspic
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.aspic.semantics

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

Fields in net.sf.tweety.arg.aspic declared as RuleFormulaGenerator

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

Methods in net.sf.tweety.arg.aspic with parameters of type RuleFormulaGenerator

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

Constructors in net.sf.tweety.arg.aspic with parameters of type RuleFormulaGenerator

Constructor and Description
AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen) Constructs a new ASPIC argumentation theory

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 and Description
private RuleFormulaGenerator<T>	AspicParser.rfg

Constructors in net.sf.tweety.arg.aspic.parser with parameters of type RuleFormulaGenerator

Constructor and Description
AspicParser(Parser<? extends BeliefBase> formulaparser, RuleFormulaGenerator<T> rfg) Constructs a new instance

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

Subclasses of RuleFormulaGenerator in net.sf.tweety.arg.aspic.ruleformulagenerator

Modifier and Type	Class and Description
class	FolFormulaGenerator
class	PlFormulaGenerator

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

Fields in net.sf.tweety.arg.aspic.semantics declared as RuleFormulaGenerator

Modifier and Type	Field and Description
private RuleFormulaGenerator<T>	AspicAttack.rfgen Used to transform ASPIC inference rules into words of the language they range over

Methods in net.sf.tweety.arg.aspic.semantics with parameters of type RuleFormulaGenerator

Modifier and Type	Method and 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
void	AspicAttack.setRuleFormulaGenerator(RuleFormulaGenerator<T> rfg) Set a new generator to transform rules into words of the language they range over