Uses of Class
org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator
Package
Description
-
Uses of RuleFormulaGenerator in org.tweetyproject.arg.aspic.parser
ModifierConstructorDescriptionAspicParser
(Parser<? extends BeliefBase, ? extends Formula> formulaparser, RuleFormulaGenerator<T> rfg) Constructs a new instance -
Uses of RuleFormulaGenerator in org.tweetyproject.arg.aspic.reasoner
Modifier and TypeMethodDescriptionDirectionalAspicReasoner.getAttackingConclusions
(AspicArgument<T> arg, RuleFormulaGenerator<T> rfgen) Returns all "attacking conclusions" of the given argument. -
Uses of RuleFormulaGenerator in org.tweetyproject.arg.aspic.ruleformulagenerator
Modifier and TypeClassDescriptionclass
ImplementsRuleFormulaGenerator
for first order logic.class
ImplementsRuleFormulaGenerator
for propositional logic. -
Uses of RuleFormulaGenerator in org.tweetyproject.arg.aspic.semantics
Modifier and TypeMethodDescriptionstatic <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 argumentsstatic <T extends Invertable>
booleanAspicAttack.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
Modifier and TypeMethodDescriptionAspicArgumentationTheory.getRuleFormulaGenerator()
Returns the generator to transform rules into words of the language they range overModifier and TypeMethodDescriptionstatic <T extends Invertable>
booleanAspicArgument.isAttack
(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order) Determines whether the attack is successfulvoid
AspicArgumentationTheory.setRuleFormulaGenerator
(RuleFormulaGenerator<T> rfg) Set a new generator to transform rules into words of the language they range overModifierConstructorDescriptionConstructs a new ASPIC argumentation theory