Uses of Class
net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule

Packages that use DefeasibleInferenceRule

Package	Description
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.aspic.syntax

Uses of DefeasibleInferenceRule in net.sf.tweety.arg.aspic.ruleformulagenerator

Methods in net.sf.tweety.arg.aspic.ruleformulagenerator that return DefeasibleInferenceRule

Modifier and Type	Method and 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 net.sf.tweety.arg.aspic.ruleformulagenerator with parameters of type DefeasibleInferenceRule

Modifier and Type	Method and Description
FolFormula	FolFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<FolFormula> r)
PropositionalFormula	PlFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<PropositionalFormula> 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 net.sf.tweety.arg.aspic.syntax

Methods in net.sf.tweety.arg.aspic.syntax that return DefeasibleInferenceRule

Modifier and Type	Method and Description
DefeasibleInferenceRule<T>	InferenceRule.toDefeasible()