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

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

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