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.encodings
net.sf.tweety.arg.adf.reasoner.generator
net.sf.tweety.arg.adf.reasoner.processor
net.sf.tweety.arg.adf.reasoner.test
net.sf.tweety.arg.adf.reasoner.verifier
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	Pipeline.PipelineIterator.adf

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
Interpretation	AbstractDialecticalFrameworkReasoner.getModel(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>	AbstractDialecticalFrameworkReasoner.getModels(AbstractDialecticalFramework adf)
private S	Pipeline.initializeState(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>	Pipeline.iterator(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>	AbstractDialecticalFrameworkReasoner.modelIterator(AbstractDialecticalFramework adf)
private Interpretation	Pipeline.process(java.util.Queue<InterpretationProcessor<S>> processors, java.util.Set<InterpretationProcessor<S>> isolated, S state, Interpretation interpretation, AbstractDialecticalFramework adf)
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
PipelineIterator(S state, AbstractDialecticalFramework adf)

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

Fields in net.sf.tweety.arg.adf.reasoner.encodings declared as AbstractDialecticalFramework

Modifier and Type	Field	Description
private AbstractDialecticalFramework	SatEncodingContext.adf

Methods in net.sf.tweety.arg.adf.reasoner.encodings that return AbstractDialecticalFramework

Modifier and Type	Method	Description
AbstractDialecticalFramework	SatEncodingContext.getAbstractDialecticalFramework()

Methods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
void	SatEncodingContext.setAdf(AbstractDialecticalFramework adf)

Constructors in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type AbstractDialecticalFramework

Constructor	Description
SatEncodingContext(AbstractDialecticalFramework adf)

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

Methods in net.sf.tweety.arg.adf.reasoner.generator with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
Interpretation	CandidateGenerator.generate(S state, AbstractDialecticalFramework adf)	Does not return the same candidate on two calls on the same instance.
Interpretation	SatConflictFreeGenerator.generate(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation	SatGroundGenerator.generate(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation	SatModelGenerator.generate(SatReasonerContext context, AbstractDialecticalFramework adf)
S	CandidateGenerator.initialize(AbstractDialecticalFramework adf)
SatReasonerContext	SatConflictFreeGenerator.initialize(AbstractDialecticalFramework adf)
SatReasonerContext	SatGroundGenerator.initialize(AbstractDialecticalFramework adf)
SatReasonerContext	SatModelGenerator.initialize(AbstractDialecticalFramework adf)

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

Methods in net.sf.tweety.arg.adf.reasoner.processor with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
Interpretation	InterpretationProcessor.process(S state, Interpretation interpretation, AbstractDialecticalFramework adf)	Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.
void	SatKBipolarStateProcessor.process(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation	SatMaximizeInterpretationProcessor.process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
Interpretation	SatPartialKBipolarInterpretationProcessor.process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
void	StateProcessor.process(S state, AbstractDialecticalFramework adf)
void	InterpretationProcessor.updateState(S state, Interpretation processed, AbstractDialecticalFramework adf)	This method is called by the Pipeline on the shared state and the result of the process method, hence after the processing is done.
void	SatMaximizeInterpretationProcessor.updateState(SatReasonerContext context, Interpretation maximal, AbstractDialecticalFramework adf)
void	SatPartialKBipolarInterpretationProcessor.updateState(SatReasonerContext context, Interpretation processed, 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.Set<java.util.Map<java.lang.String,java.lang.Boolean>> assignments)

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

Methods in net.sf.tweety.arg.adf.reasoner.verifier with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
boolean	GrounderStableVerifier.verify(S state, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	SatAdmissibleVerifier.verify(SatReasonerContext state, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	SatCompleteVerifier.verify(SatReasonerContext context, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	Verifier.verify(S state, Interpretation candidate, 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
Link	LinkStrategy.compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link	SatLinkStrategy.compute(AbstractDialecticalFramework adf, Argument a, Argument b)
boolean	Interpretation.satisfies(AbstractDialecticalFramework beliefBase)

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

Methods in net.sf.tweety.arg.adf.syntax that return AbstractDialecticalFramework

Modifier and Type	Method	Description
AbstractDialecticalFramework	AbstractDialecticalFramework.omegaReduct(Interpretation interpretation)	Computes a reduct of this ADF relative to the given interpretation s.t.
AbstractDialecticalFramework	AbstractDialecticalFramework.transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)	Creates a copy of this ADF with transformed acceptance conditions.

Methods in net.sf.tweety.arg.adf.syntax with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
int	AbstractDialecticalFramework.compareTo(AbstractDialecticalFramework o)