Uses of Interface
net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

Packages that use Interpretation

Package	Description
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.sat
net.sf.tweety.arg.adf.reasoner.sat.encodings
net.sf.tweety.arg.adf.reasoner.sat.generator
net.sf.tweety.arg.adf.reasoner.sat.processor
net.sf.tweety.arg.adf.reasoner.sat.verifier
net.sf.tweety.arg.adf.semantics.interpretation
net.sf.tweety.arg.adf.semantics.link
net.sf.tweety.arg.adf.transform
net.sf.tweety.arg.adf.util

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

Methods in net.sf.tweety.arg.adf.reasoner that return Interpretation

Modifier and Type	Method	Description
Interpretation	AbstractDialecticalFrameworkReasoner.getModel(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>	AbstractDialecticalFrameworkReasoner.modelIterator(AbstractDialecticalFramework adf)

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

Methods in net.sf.tweety.arg.adf.reasoner.sat that return types with arguments of type Interpretation

Modifier and Type	Method	Description
java.util.Iterator<Interpretation>	Pipeline.iterator(AbstractDialecticalFramework adf)

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

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

Constructor	Description
FixPartialSatEncoding(Interpretation interpretation)
FixPartialSatEncoding(Interpretation interpretation, Proposition toggle)
LargerInterpretationSatEncoding(Interpretation interpretation)
LargerInterpretationSatEncoding(Interpretation interpretation, Proposition toggle)
RefineLargerSatEncoding(Interpretation interpretation)
RefineUnequalSatEncoding(Interpretation interpretation)
RelativeBipolarSatEncoding(Interpretation interpretation, Link link)
VerifyAdmissibleSatEncoding(Interpretation interpretation)
VerifyAdmissibleSatEncoding(Interpretation interpretation, Proposition toggle)

Constructor parameters in net.sf.tweety.arg.adf.reasoner.sat.encodings with type arguments of type Interpretation

Constructor	Description
RelativeKBipolarSatEncoding(java.util.Map<Link,java.util.Set<Interpretation>> interpretations)

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

Methods in net.sf.tweety.arg.adf.reasoner.sat.generator that return Interpretation

Modifier and Type	Method	Description
Interpretation	CandidateGenerator.generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Does not return the same candidate on two calls on the same instance.
Interpretation	ConflictFreeGenerator.generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Interpretation	GroundGenerator.generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation	ModelGenerator.generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)

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

Methods in net.sf.tweety.arg.adf.reasoner.sat.processor that return Interpretation

Modifier and Type	Method	Description
Interpretation	InterpretationProcessor.process(SatSolverState mainState, SatSolverState verificationState, PropositionalMapping mapping, 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	MaximizeInterpretationProcessor.process(SatSolverState processingState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)

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

Modifier and Type	Method	Description
Interpretation	InterpretationProcessor.process(SatSolverState mainState, SatSolverState verificationState, PropositionalMapping mapping, 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	MaximizeInterpretationProcessor.process(SatSolverState processingState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
void	InterpretationProcessor.updateState(SatSolverState state, PropositionalMapping mapping, 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	MaximizeInterpretationProcessor.updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)

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

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

Modifier and Type	Method	Description
boolean	AdmissibleVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	CompleteVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	GrounderStableVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	Verifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)	Gets called after every verify call.
boolean	AdmissibleVerifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	CompleteVerifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	GrounderStableVerifier.verify(SatSolverState state, PropositionalMapping encodingContext, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	Verifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)	Gets called by the Pipeline to verify if the computed candidate Interpretation asserts a certain property.

Uses of Interpretation in net.sf.tweety.arg.adf.semantics.interpretation

Classes in net.sf.tweety.arg.adf.semantics.interpretation that implement Interpretation

Modifier and Type	Class	Description
class	EmptyInterpretation
class	SetInterpretation	This implementation is backed by three sets which allows SetInterpretation.satisfied(Argument), SetInterpretation.unsatisfied(Argument) and SetInterpretation.undecided(Argument) to return in constant time.
class	SingleValuedInterpretation

Methods in net.sf.tweety.arg.adf.semantics.interpretation that return Interpretation

Modifier and Type	Method	Description
Interpretation	Interpretation.Builder.build()
static Interpretation	Interpretation.empty(AbstractDialecticalFramework adf)
static Interpretation	Interpretation.fromMap(java.util.Map<Argument,java.lang.Boolean> assignment)
static Interpretation	Interpretation.fromSet(java.util.Set<Argument> satisfied, AbstractDialecticalFramework adf)
static Interpretation	Interpretation.fromSets(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, java.util.Set<Argument> undecided)
static Interpretation	Interpretation.fromSets(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Interpretation	Interpretation.fromWitness(Interpretation<PlBeliefSet,PlFormula> witness, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)	Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.
Interpretation	InterpretationIterator.next()
Interpretation	TwoValuedInterpretationIterator.next()
static Interpretation	Interpretation.partial(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Interpretation	Interpretation.restrict(Interpretation interpretation, java.util.Collection<Argument> restriction)	Creates a new interpretation with the same assignments as in the given arguments, but only uses the arguments contained in restriction.
static Interpretation	Interpretation.singleValued(Argument argument, boolean value, AbstractDialecticalFramework adf)	Returns an interpretation relative to adf with a single truth value decided.

Methods in net.sf.tweety.arg.adf.semantics.interpretation that return types with arguments of type Interpretation

Modifier and Type	Method	Description
static java.util.Iterator<Interpretation>	Interpretation.partials(java.util.List<Argument> arguments, AbstractDialecticalFramework adf)	Goes through all possible partial interpretations respecting the order of the given list of arguments.

Methods in net.sf.tweety.arg.adf.semantics.interpretation with parameters of type Interpretation

Modifier and Type	Method	Description
static boolean	Interpretation.equalsTwoValued(Interpretation i1, Interpretation i2)	Checks if, and only if, the two valued assignments for both of the interpretations are the same, ignores differences in the undecided assignments.
default boolean	Interpretation.isStrictSubsetOf(Interpretation superset)
boolean	EmptyInterpretation.isStrictSupersetOf(Interpretation subset)
default boolean	Interpretation.isStrictSupersetOf(Interpretation subset)
boolean	EmptyInterpretation.isSubsetOf(Interpretation superset)
default boolean	Interpretation.isSubsetOf(Interpretation superset)
default boolean	Interpretation.isSupersetOf(Interpretation subset)
static Interpretation	Interpretation.restrict(Interpretation interpretation, java.util.Collection<Argument> restriction)	Creates a new interpretation with the same assignments as in the given arguments, but only uses the arguments contained in restriction.
static java.util.Map<Argument,java.lang.Boolean>	Interpretation.toMap(Interpretation interpretation)

Uses of Interpretation in net.sf.tweety.arg.adf.semantics.link

Constructors in net.sf.tweety.arg.adf.semantics.link with parameters of type Interpretation

Constructor	Description
SatLinkStrategy(IncrementalSatSolver solver, Interpretation assumption)	Computes the link type based on the two-valued assignments of the given assumption.

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

Constructors in net.sf.tweety.arg.adf.transform with parameters of type Interpretation

Constructor	Description
FixPartialTransformer(Interpretation interpretation)
OmegaReductTransformer(Interpretation interpretation)

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

Methods in net.sf.tweety.arg.adf.util that return Interpretation

Modifier and Type	Method	Description
Interpretation	ExcludeSubinterpretationsIterator.next()
Interpretation	ExcludeTwoValuedSubinterpretationsIterator.next()

Constructor parameters in net.sf.tweety.arg.adf.util with type arguments of type Interpretation

Constructor	Description
ExcludeSubinterpretationsIterator(java.util.List<Interpretation> interpretations)
ExcludeTwoValuedSubinterpretationsIterator(java.util.List<Interpretation> interpretations)