Uses of Class net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule (Tweety (ASPIC Library) 1.15 API)

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
`net.sf.tweety.logics.fol.syntax.FolFormula`	FolFormulaGenerator.`getRuleFormula(DefeasibleInferenceRule<net.sf.tweety.logics.fol.syntax.FolFormula> r)`
`net.sf.tweety.logics.pl.syntax.PlFormula`	PlFormulaGenerator.`getRuleFormula(DefeasibleInferenceRule<net.sf.tweety.logics.pl.syntax.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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)`
`DefeasibleInferenceRule<T>`	InferenceRule.`toDefeasible()`