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

Packages that use AbstractDialecticalFramework
Package	Description
net.sf.tweety.arg.adf.parser
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.test
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(java.io.Reader reader)`

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

Fields in net.sf.tweety.arg.adf.reasoner declared as AbstractDialecticalFramework
Modifier and Type	Field	Description
`private AbstractDialecticalFramework`	SatEncoding.`adf`	TODO: the adf is not immutable, therefore adding stuff to it after SatEncoding was created may fuck things up?

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)`
`private Interpretation`	AdmissibleInterpretationReasoner.`existsAdm(AbstractDialecticalFramework adf, Interpretation interpretation, SatSolverState state, SatEncoding enc)`
`private Interpretation`	NaiveInterpretationReasoner.`existsNai(AbstractDialecticalFramework adf, Interpretation interpretation, java.util.Collection<Disjunction> excluded, SatEncoding enc)`
`abstract Interpretation`	AbstractDialecticalFrameworkReasoner.`getModel(AbstractDialecticalFramework bbase)`
`Interpretation`	AdmissibleInterpretationReasoner.`getModel(AbstractDialecticalFramework adf)`
`Interpretation`	NaiveInterpretationReasoner.`getModel(AbstractDialecticalFramework adf)`
`Interpretation`	SatModelReasoner.`getModel(AbstractDialecticalFramework bbase)`
`abstract java.util.Collection<Interpretation>`	AbstractDialecticalFrameworkReasoner.`getModels(AbstractDialecticalFramework bbase)`
`java.util.Collection<Interpretation>`	AdmissibleInterpretationReasoner.`getModels(AbstractDialecticalFramework adf)`
`java.util.Collection<Interpretation>`	NaiveInterpretationReasoner.`getModels(AbstractDialecticalFramework adf)`
`java.util.Collection<Interpretation>`	SatModelReasoner.`getModels(AbstractDialecticalFramework bbase)`
`PlBeliefSet`	SatModelReasoner.`getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,PlFormula> cache)`	returns a propositional characterisation of the reasoning problem
`java.lang.Boolean`	AbstractDialecticalFrameworkReasoner.`query(AbstractDialecticalFramework beliefbase, Argument formula)`
`java.lang.Boolean`	AbstractDialecticalFrameworkReasoner.`query(AbstractDialecticalFramework beliefbase, Argument formula, 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.reasoner.test

Methods in net.sf.tweety.arg.adf.reasoner.test with parameters of type AbstractDialecticalFramework
Modifier and Type	Method	Description
`BenchmarkResult`	ReasonerBenchmark.`runBenchmark(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner, java.util.List<java.util.Map<java.lang.String,java.lang.Boolean>> assignments)`

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)`