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

Modifier	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
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	Implements RuleFormulaGenerator for first order logic.
class	PlFormulaGenerator	Implements RuleFormulaGenerator for propositional logic.

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> Collection<AspicAttack<T>>	AspicAttack.determineAttackRelations(Collection<AspicArgument<T>> args, 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, 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, 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

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