Uses of Class
org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule

Packages that use DefeasibleInferenceRule

Package	Description
org.tweetyproject.arg.aspic.ruleformulagenerator
org.tweetyproject.arg.aspic.syntax

Uses of DefeasibleInferenceRule in org.tweetyproject.arg.aspic.ruleformulagenerator

Methods in org.tweetyproject.arg.aspic.ruleformulagenerator that return DefeasibleInferenceRule

Modifier and Type	Method	Description
DefeasibleInferenceRule<T>	RuleFormulaGenerator.getInferenceRule(T formula, AspicArgumentationTheory<T> kb)	Transforms a formula of type T into a corresponding defeasible ASPIC inference rule form the knowledge base kb

Methods in org.tweetyproject.arg.aspic.ruleformulagenerator with parameters of type DefeasibleInferenceRule

Modifier and Type	Method	Description
FolFormula	FolFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<FolFormula> r)
PlFormula	PlFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<PlFormula> r)
abstract T	RuleFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<T> r)	Transforms a defeasible ASPIC inference rule into a corresponding formula of type T

Uses of DefeasibleInferenceRule in org.tweetyproject.arg.aspic.syntax

Methods in org.tweetyproject.arg.aspic.syntax that return DefeasibleInferenceRule

Modifier and Type	Method	Description
DefeasibleInferenceRule<T>	DefeasibleInferenceRule.clone()
DefeasibleInferenceRule<T>	DefeasibleInferenceRule.substitute(Term<?> v, Term<?> t)
DefeasibleInferenceRule<T>	InferenceRule.toDefeasible()