Uses of Class net.sf.tweety.arg.adf.semantics.Interpretation

Packages that use Interpretation
Package	Description
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
net.sf.tweety.arg.adf.transform
net.sf.tweety.arg.adf.util

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

Fields in net.sf.tweety.arg.adf.reasoner declared as Interpretation
Modifier and Type	Field	Description
`private Interpretation`	Pipeline.PipelineIterator.`next`

Methods in net.sf.tweety.arg.adf.reasoner that return Interpretation
Modifier and Type	Method	Description
`Interpretation`	AbstractDialecticalFrameworkReasoner.`getModel(AbstractDialecticalFramework adf)`
`Interpretation`	Pipeline.PipelineIterator.`next()`
`private Interpretation`	Pipeline.PipelineIterator.`nextModel()`
`private Interpretation`	Pipeline.`process(java.util.Queue<InterpretationProcessor<S>> processors, java.util.Set<InterpretationProcessor<S>> isolated, S state, Interpretation interpretation, AbstractDialecticalFramework adf)`

Methods in net.sf.tweety.arg.adf.reasoner that return types with arguments of type Interpretation
Modifier and Type	Method	Description
`java.util.Collection<Interpretation>`	AbstractDialecticalFrameworkReasoner.`getModels(AbstractDialecticalFramework adf)`
`java.util.Iterator<Interpretation>`	Pipeline.`iterator(AbstractDialecticalFramework adf)`
`java.util.Iterator<Interpretation>`	AbstractDialecticalFrameworkReasoner.`modelIterator(AbstractDialecticalFramework adf)`

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Interpretation
Modifier and Type	Method	Description
`private Interpretation`	Pipeline.`process(java.util.Queue<InterpretationProcessor<S>> processors, java.util.Set<InterpretationProcessor<S>> isolated, S state, Interpretation interpretation, AbstractDialecticalFramework adf)`
`private boolean`	Pipeline.PipelineIterator.`verify(java.util.Queue<Verifier<S>> verifiers, Interpretation candidate)`

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

Methods in net.sf.tweety.arg.adf.reasoner.encodings that return Interpretation
Modifier and Type	Method	Description
`Interpretation`	SatEncodingContext.`interpretationFromWitness(Interpretation<PlBeliefSet,PlFormula> witness)`	Constructs an ADF interpretation from the given SAT witness.

Methods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type Interpretation
Modifier and Type	Method	Description
`java.util.Collection<Disjunction>`	BipolarSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	ConflictFreeInterpretationSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	FixPartialSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	KBipolarSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	LargerInterpretationSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	RefineLargerSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	RefineUnequalSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	SatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`	Constructs a SAT encoding based on the given context and an optional interpretation.
`java.util.Collection<Disjunction>`	TwoValuedModelSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	VerifyAdmissibleSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`

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

Methods in net.sf.tweety.arg.adf.reasoner.generator that return Interpretation
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)`

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

Methods in net.sf.tweety.arg.adf.reasoner.processor that return Interpretation
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.
`Interpretation`	SatMaximizeInterpretationProcessor.`process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)`
`Interpretation`	SatPartialKBipolarInterpretationProcessor.`process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)`

Methods in net.sf.tweety.arg.adf.reasoner.processor with parameters of type Interpretation
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.
`Interpretation`	SatMaximizeInterpretationProcessor.`process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)`
`Interpretation`	SatPartialKBipolarInterpretationProcessor.`process(SatReasonerContext context, Interpretation interpretation, 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 Interpretation in net.sf.tweety.arg.adf.reasoner.test

Methods in net.sf.tweety.arg.adf.reasoner.test with parameters of type Interpretation
Modifier and Type	Method	Description
`private java.util.Map<java.lang.String,java.lang.Boolean>`	ReasonerBenchmark.`toMap(Interpretation interpretation)`

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

Methods in net.sf.tweety.arg.adf.reasoner.verifier with parameters of type Interpretation
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 Interpretation in net.sf.tweety.arg.adf.semantics

Methods in net.sf.tweety.arg.adf.semantics with parameters of type Interpretation
Modifier and Type Method Description

int Interpretation.compareTo(Interpretation that)

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

Methods in net.sf.tweety.arg.adf.syntax with parameters of type Interpretation
Modifier and Type	Method	Description
`AbstractDialecticalFramework`	AbstractDialecticalFramework.`omegaReduct(Interpretation interpretation)`	Computes a reduct of this ADF relative to the given interpretation s.t.

Uses of Interpretation in net.sf.tweety.arg.adf.transform

Fields in net.sf.tweety.arg.adf.transform declared as Interpretation
Modifier and Type	Field	Description
`private Interpretation`	OmegaReductTransform.`interpretation`
`private Interpretation`	FixPartialTransform.`partialInterpretation`

Constructors in net.sf.tweety.arg.adf.transform with parameters of type Interpretation
Constructor	Description
`FixPartialTransform(Interpretation partialInterpretation)`
`OmegaReductTransform(Interpretation interpretation)`

Uses of Interpretation in net.sf.tweety.arg.adf.util

Methods in net.sf.tweety.arg.adf.util with parameters of type Interpretation
Modifier and Type	Method	Description
`static boolean`	TestUtil.`equalInterpretations(Interpretation interpretation, java.util.Map<java.lang.String,java.lang.Boolean> map)`	Checks if the different representations of interpretations are equal, i.e.