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
-
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