Uses of Class org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator

Packages that use RuleFormulaGenerator
Package	Description
org.tweetyproject.arg.aspic.parser
org.tweetyproject.arg.aspic.reasoner
org.tweetyproject.arg.aspic.ruleformulagenerator
org.tweetyproject.arg.aspic.semantics
org.tweetyproject.arg.aspic.syntax

Uses of RuleFormulaGenerator in org.tweetyproject.arg.aspic.parser

Constructors in org.tweetyproject.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 org.tweetyproject.arg.aspic.reasoner

Methods in org.tweetyproject.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 org.tweetyproject.arg.aspic.ruleformulagenerator

Subclasses of RuleFormulaGenerator in org.tweetyproject.arg.aspic.ruleformulagenerator
Modifier and Type Class Description

class FolFormulaGenerator

class PlFormulaGenerator

Uses of RuleFormulaGenerator in org.tweetyproject.arg.aspic.semantics

Methods in org.tweetyproject.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 org.tweetyproject.arg.aspic.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.aspic.syntax with parameters of type RuleFormulaGenerator
Constructor	Description
`AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)`	Constructs a new ASPIC argumentation theory