Uses of Class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework

Packages that use NecessityArgumentationFramework
Package Description

net.sf.tweety.arg.bipolar.reasoner.necessity

net.sf.tweety.arg.bipolar.syntax

Uses of NecessityArgumentationFramework in net.sf.tweety.arg.bipolar.reasoner.necessity

Methods in net.sf.tweety.arg.bipolar.reasoner.necessity with parameters of type NecessityArgumentationFramework
Modifier and Type	Method	Description
`ArgumentSet`	AdmissibleReasoner.`getModel(NecessityArgumentationFramework bbase)`
`ArgumentSet`	CompleteReasoner.`getModel(NecessityArgumentationFramework bbase)`
`ArgumentSet`	GroundedReasoner.`getModel(NecessityArgumentationFramework bbase)`
`ArgumentSet`	PreferredReasoner.`getModel(NecessityArgumentationFramework bbase)`
`ArgumentSet`	StableReasoner.`getModel(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	AdmissibleReasoner.`getModels(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	CompleteReasoner.`getModels(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	GroundedReasoner.`getModels(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	PreferredReasoner.`getModels(NecessityArgumentationFramework bbase)`
`java.util.Collection<ArgumentSet>`	StableReasoner.`getModels(NecessityArgumentationFramework bbase)`

Uses of NecessityArgumentationFramework in net.sf.tweety.arg.bipolar.syntax

Methods in net.sf.tweety.arg.bipolar.syntax that return NecessityArgumentationFramework
Modifier and Type	Method	Description
`NecessityArgumentationFramework`	DeductiveArgumentationFramework.`toNAF()`	translates this DAF into the corresponding framework with support in a necessary sense See Cayrol, Lagasquie-Schiex.
`NecessityArgumentationFramework`	EvidentialArgumentationFramework.`toNAF()`	translates this EAF into the corresponding NAF can only translate framework which contain only binary attacks translation algorithm from: Polberg, Oren.

Methods in net.sf.tweety.arg.bipolar.syntax with parameters of type NecessityArgumentationFramework
Modifier and Type	Method	Description
`int`	NecessityArgumentationFramework.`compareTo(NecessityArgumentationFramework o)`

Constructors in net.sf.tweety.arg.bipolar.syntax with parameters of type NecessityArgumentationFramework
Constructor	Description
`EvidentialArgumentationFramework(NecessityArgumentationFramework naf)`	creates an evidential argumentation framework from the given framework with necessities