Uses of Interface
org.tweetyproject.arg.adf.semantics.interpretation.Interpretation

Packages that use Interpretation

Package	Description
org.tweetyproject.arg.adf.reasoner
org.tweetyproject.arg.adf.reasoner.query
org.tweetyproject.arg.adf.reasoner.sat.decomposer
org.tweetyproject.arg.adf.reasoner.sat.encodings
org.tweetyproject.arg.adf.reasoner.sat.execution
org.tweetyproject.arg.adf.reasoner.sat.generator
org.tweetyproject.arg.adf.reasoner.sat.processor
org.tweetyproject.arg.adf.reasoner.sat.verifier
org.tweetyproject.arg.adf.semantics.interpretation
org.tweetyproject.arg.adf.semantics.link
org.tweetyproject.arg.adf.transform
org.tweetyproject.arg.adf.util

Uses of Interpretation in org.tweetyproject.arg.adf.reasoner

Methods in org.tweetyproject.arg.adf.reasoner that return Interpretation

Modifier and Type	Method	Description
Interpretation	AbstractDialecticalFrameworkReasoner.getModel(AbstractDialecticalFramework adf)	Deprecated, for removal: This API element is subject to removal in a future version.

Methods in org.tweetyproject.arg.adf.reasoner that return types with arguments of type Interpretation

Modifier and Type	Method	Description
Collection<Interpretation>	AbstractDialecticalFrameworkReasoner.getModels(AbstractDialecticalFramework adf)	Deprecated, for removal: This API element is subject to removal in a future version.
Iterator<Interpretation>	AbstractDialecticalFrameworkReasoner.modelIterator(AbstractDialecticalFramework adf)	Deprecated, for removal: This API element is subject to removal in a future version.

Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.query

Methods in org.tweetyproject.arg.adf.reasoner.query that return types with arguments of type Interpretation

Modifier and Type	Method	Description
Query<Interpretation>	TaskStep.interpretation()
Query<Stream<Interpretation>>	TaskStep.interpretations()

Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.decomposer

Methods in org.tweetyproject.arg.adf.reasoner.sat.decomposer that return types with arguments of type Interpretation

Modifier and Type	Method	Description
Collection<Interpretation>	Decomposer.decompose(int desired)

Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.encodings

Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type Interpretation

Modifier and Type	Method	Description
void	ConflictFreeInterpretationSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	FixPartialSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	LargerInterpretationSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	RefineLargerSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	RefineUnequalSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	RelativeSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	TwoValuedModelSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)

Constructors in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type Interpretation

Modifier	Constructor	Description
	RestrictedBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)
	RestrictedKBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)

Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.execution

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution that return types with arguments of type Interpretation

Modifier and Type	Method	Description
Stream<Interpretation>	Execution.stream()	Must only be called once, it is up to the implementation what happens it is called more than once.
Stream<Interpretation>	ParallelExecution.stream()
Stream<Interpretation>	SequentialExecution.stream()

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution with parameters of type Interpretation

Modifier and Type	Method	Description
Semantics	Semantics.restrict(Interpretation partial)

Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.generator

Methods in org.tweetyproject.arg.adf.reasoner.sat.generator that return Interpretation

Modifier and Type	Method	Description
Interpretation	AbstractCandidateGenerator.generate()
Interpretation	CandidateGenerator.generate()	Does not return the same candidate on two calls on the same instance.
Interpretation	ConflictFreeGenerator.generate(SatSolverState state)
Interpretation	GroundGenerator.generate(SatSolverState state)
Interpretation	ModelGenerator.generate(SatSolverState state)

Methods in org.tweetyproject.arg.adf.reasoner.sat.generator with parameters of type Interpretation

Modifier and Type	Method	Description
static CandidateGenerator	ConflictFreeGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes conflict free interpretations which are extensions of the defined partial interpretation.
static CandidateGenerator	GroundGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes the ground interpretation if it extends the given prefix.
static CandidateGenerator	ModelGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes two-valued models which are extensions of the defined prefix.

Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.processor

Methods in org.tweetyproject.arg.adf.reasoner.sat.processor that return Interpretation

Modifier and Type	Method	Description
Interpretation	AdmissibleMaximizer.process(Interpretation interpretation)
Interpretation	ConflictFreeMaximizer.process(Interpretation interpretation)
Interpretation	InterpretationProcessor.process(Interpretation interpretation)

Methods in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type Interpretation

Modifier and Type	Method	Description
Interpretation	AdmissibleMaximizer.process(Interpretation interpretation)
Interpretation	ConflictFreeMaximizer.process(Interpretation interpretation)
Interpretation	InterpretationProcessor.process(Interpretation interpretation)
static InterpretationProcessor	AdmissibleMaximizer.restricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
static InterpretationProcessor	ConflictFreeMaximizer.restricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
void	AdmissibleMaximizer.updateState(SatSolverState state, Interpretation maximal)
void	ConflictFreeMaximizer.updateState(SatSolverState state, Interpretation maximal)
void	InterpretationProcessor.updateState(SatSolverState state, Interpretation processed)

Constructors in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type Interpretation

Modifier	Constructor	Description
	RestrictedKBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)

Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.verifier

Methods in org.tweetyproject.arg.adf.reasoner.sat.verifier with parameters of type Interpretation

Modifier and Type	Method	Description
boolean	CompleteVerifier.verify(Interpretation candidate)
boolean	NaiveVerifier.verify(Interpretation interpretation)
boolean	PreferredVerifier.verify(Interpretation interpretation)
boolean	StableVerifier.verify(Interpretation candidate)
boolean	Verifier.verify(Interpretation interpretation)

Uses of Interpretation in org.tweetyproject.arg.adf.semantics.interpretation

Methods in org.tweetyproject.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.extend(Interpretation toExtend, Argument argument, boolean value)	Extends the given interpretation by deciding a currently undecided argument.
static Interpretation	Interpretation.fromMap(Map<Argument,Boolean> assignment)
static Interpretation	Interpretation.fromSets(Set<Argument> satisfied, Set<Argument> unsatisfied, Set<Argument> undecided)
static Interpretation	Interpretation.fromSets(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf)	Interpretation fromSets
static Interpretation	Interpretation.fromWitness(Set<Literal> witness, PropositionalMapping mapping)	Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.
Interpretation	InterpretationIterator.next()
Interpretation	TwoValuedInterpretationIterator.next()
static Interpretation	Interpretation.ofSatisfied(Argument argument)
static Interpretation	Interpretation.ofUndecided(Argument argument)
static Interpretation	Interpretation.ofUnsatisfied(Argument argument)
static Interpretation	Interpretation.partial(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Interpretation	Interpretation.restrict(Interpretation interpretation, Collection<Argument> restriction)	Creates a new interpretation with the same assignments as in the given interpretation, but only uses the arguments contained in restriction.
static Interpretation	Interpretation.union(Interpretation i1, Interpretation i2)	Creates the union of two disjunct interpretations.

Methods in org.tweetyproject.arg.adf.semantics.interpretation that return types with arguments of type Interpretation

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

Methods in org.tweetyproject.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.
static Interpretation	Interpretation.extend(Interpretation toExtend, Argument argument, boolean value)	Extends the given interpretation by deciding a currently undecided argument.
default boolean	Interpretation.isStrictSubsetOf(Interpretation superset)
default boolean	Interpretation.isStrictSupersetOf(Interpretation subset)
default boolean	Interpretation.isSubsetOf(Interpretation superset)
default boolean	Interpretation.isSupersetOf(Interpretation subset)
static Interpretation	Interpretation.restrict(Interpretation interpretation, Collection<Argument> restriction)	Creates a new interpretation with the same assignments as in the given interpretation, but only uses the arguments contained in restriction.
static Map<Argument,Boolean>	Interpretation.toMap(Interpretation interpretation)
static Interpretation	Interpretation.union(Interpretation i1, Interpretation i2)	Creates the union of two disjunct interpretations.

Uses of Interpretation in org.tweetyproject.arg.adf.semantics.link

Methods in org.tweetyproject.arg.adf.semantics.link with parameters of type Interpretation

Modifier and Type	Method	Description
LinkType	LinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)
LinkType	SatLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)

Uses of Interpretation in org.tweetyproject.arg.adf.transform

Constructors in org.tweetyproject.arg.adf.transform with parameters of type Interpretation

Modifier	Constructor	Description
	FixPartialTransformer(Interpretation interpretation)

Uses of Interpretation in org.tweetyproject.arg.adf.util

Methods in org.tweetyproject.arg.adf.util that return Interpretation

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

Methods in org.tweetyproject.arg.adf.util that return types with arguments of type Interpretation

Modifier and Type	Method	Description
Iterator<Interpretation>	InterpretationTrieSet.iterator()	Deprecated.

Methods in org.tweetyproject.arg.adf.util with parameters of type Interpretation

Modifier and Type	Method	Description
boolean	InterpretationTrieSet.add(Interpretation e)	Deprecated.
static List<Argument>	InterpretationTrieSet.orderedDecided(Interpretation interpretation, Argument[] order)	Deprecated.

Constructor parameters in org.tweetyproject.arg.adf.util with type arguments of type Interpretation

Modifier	Constructor	Description
	ExcludeSubinterpretationsIterator(List<Interpretation> interpretations)
	ExcludeTwoValuedSubinterpretationsIterator(List<Interpretation> interpretations)
	InterpretationTrieSet(List<Interpretation> interpretations)	Deprecated.