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	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	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 net.sf.tweety.arg.aspic.syntax

Methods in net.sf.tweety.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()`