Uses of Class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework (Tweety (ADF Library) 1.13 API)

Packages that use AbstractDialecticalFramework
Package	Description
net.sf.tweety.arg.adf.parser
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.semantics
net.sf.tweety.arg.adf.syntax

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.parser

Methods in net.sf.tweety.arg.adf.parser that return AbstractDialecticalFramework
Modifier and Type	Method	Description
`AbstractDialecticalFramework`	KPPADFFormatParser.`parseBeliefBase(Reader reader)`

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework
Modifier and Type	Method	Description
`Link`	LinkStrategy.`compute(AbstractDialecticalFramework adf, Argument a, Argument b)`
`Link`	SatLinkStrategy.`compute(AbstractDialecticalFramework adf, Argument a, Argument b)`
`abstract Interpretation`	AbstractDialecticalFrameworkReasoner.`getModel(AbstractDialecticalFramework bbase)`
`Interpretation`	AdmissibleInterpretationReasoner.`getModel(AbstractDialecticalFramework adf)`
`Interpretation`	NaiveInterpretationReasoner.`getModel(AbstractDialecticalFramework adf)`
`Interpretation`	SatModelReasoner.`getModel(AbstractDialecticalFramework bbase)`
`abstract Collection<Interpretation>`	AbstractDialecticalFrameworkReasoner.`getModels(AbstractDialecticalFramework bbase)`
`Collection<Interpretation>`	AdmissibleInterpretationReasoner.`getModels(AbstractDialecticalFramework adf)`
`Collection<Interpretation>`	NaiveInterpretationReasoner.`getModels(AbstractDialecticalFramework adf)`
`Collection<Interpretation>`	SatModelReasoner.`getModels(AbstractDialecticalFramework bbase)`
`net.sf.tweety.logics.pl.syntax.PlBeliefSet`	SatModelReasoner.`getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> cache)`	returns a propositional characterisation of the reasoning problem
`Boolean`	AbstractDialecticalFrameworkReasoner.`query(AbstractDialecticalFramework beliefbase, Argument formula)`
`Boolean`	AbstractDialecticalFrameworkReasoner.`query(AbstractDialecticalFramework beliefbase, Argument formula, net.sf.tweety.commons.InferenceMode inferenceMode)`	Queries the given AAF for the given argument using the given inference type.

Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework
Constructor	Description
`SatEncoding(AbstractDialecticalFramework adf)`

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.semantics

Methods in net.sf.tweety.arg.adf.semantics with parameters of type AbstractDialecticalFramework
Modifier and Type	Method	Description
`boolean`	Interpretation.`satisfies(AbstractDialecticalFramework beliefBase)`

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.syntax

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