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()	Return interpretation
Query<Stream<Interpretation>>	TaskStep.interpretations()	Return 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)	Decomposes the framework or system into a collection of Interpretation objects based on the provided criterion.

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)	Encodes the conflict-free interpretation of the given ADF into a set of SAT clauses based on the provided 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)	Encodes the given interpretation into a set of SAT clauses that represent the refinement of the interpretation, ensuring that the resulting interpretation is not equal to the input interpretation.
void	RelativeSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	TwoValuedModelSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)	Encodes a specific two-valued interpretation of the ADF into a set of SAT clauses and provides them to the given consumer.

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

Modifier	Constructor	Description
	RestrictedBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)	Constructs a new RestrictedBipolarSatEncoding for the given Abstract Dialectical Framework (ADF), propositional mapping, and partial interpretation.
	RestrictedKBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)	Constructs a new RestrictedKBipolarSatEncoding with the specified Abstract Dialectical Framework, propositional mapping, and partial interpretation.

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()	Generates a candidate interpretation by initializing the SAT solver state (if not already initialized) and delegating the generation to the abstract AbstractCandidateGenerator.generate(SatSolverState) method.
Interpretation	CandidateGenerator.generate()	Generates a new candidate interpretation.
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)	Creates a CandidateGenerator that computes conflict-free interpretations which are extensions of the provided 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)	Creates a CandidateGenerator that computes two-valued model interpretations which are extensions of the provided prefix (partial interpretation).

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)	Processes the given interpretation by maximizing it into a conflict-free 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)	Processes the given interpretation by maximizing it into a conflict-free 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)	Creates and returns a restricted InterpretationProcessor that maximizes interpretations based on a given partial interpretation (prefix).
void	AdmissibleMaximizer.updateState(SatSolverState state, Interpretation maximal)
void	ConflictFreeMaximizer.updateState(SatSolverState state, Interpretation maximal)	Updates the SAT solver state to prevent smaller interpretations from being computed in the future.
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)	Constructs a RestrictedKBipolarStateProcessor with the given ADF, propositional mapping, and partial interpretation.

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)	Verifies whether the given interpretation is a complete interpretation.
boolean	NaiveVerifier.verify(Interpretation interpretation)
boolean	PreferredVerifier.verify(Interpretation interpretation)	Verifies whether the given interpretation is a preferred interpretation within the framework.
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)	Computes the type of link between a parent argument and its child's acceptance condition, taking into account an additional 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. Returns a list of arguments that are decided in the given interpretation, ordered according to the specified array.

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

Modifier	Constructor	Description
	ExcludeSubinterpretationsIterator(List<Interpretation> interpretations)	Constructs a new ExcludeSubinterpretationsIterator that iterates over a list of interpretations, excluding subinterpretations according to a specific order and structure.
	ExcludeTwoValuedSubinterpretationsIterator(List<Interpretation> interpretations)	Constructs a new ExcludeTwoValuedSubinterpretationsIterator that iterates over a list of interpretations, excluding two-valued subinterpretations according to a specific order and structure.
	InterpretationTrieSet(List<Interpretation> interpretations)	Deprecated. Constructs an InterpretationTrieSet and populates it with the given list of interpretations.