Uses of Interface
org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
Package
Description
-
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner
Modifier and TypeMethodDescriptionAbstractDialecticalFrameworkReasoner.getModel(AbstractDialecticalFramework adf)
Deprecated, for removal: This API element is subject to removal in a future version.Modifier and TypeMethodDescriptionAbstractDialecticalFrameworkReasoner.getModels(AbstractDialecticalFramework adf)
Deprecated, for removal: This API element is subject to removal in a future version.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
-
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.decomposer
Modifier and TypeMethodDescriptionDecomposer.decompose(AbstractDialecticalFramework adf, int desired)
-
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.encodings
Modifier and TypeMethodDescriptionvoid
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)
ModifierConstructorDescriptionRelativeBipolarSatEncoding(Interpretation interpretation, Link link, PropositionalMapping mapping)
-
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionExecution.computeCandidate()
ParallelExecution.computeCandidate()
SequentialExecution.computeCandidate()
Execution.processModel(Interpretation model)
ParallelExecution.processModel(Interpretation model)
SequentialExecution.processModel(Interpretation model)
Modifier and TypeMethodDescriptionExecution.processModel(Interpretation model)
ParallelExecution.processModel(Interpretation model)
SequentialExecution.processModel(Interpretation model)
boolean
Execution.verify(Interpretation candidate)
boolean
ParallelExecution.verify(Interpretation candidate)
boolean
SequentialExecution.verify(Interpretation candidate)
Semantics.withPrefix(Interpretation prefix)
-
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeMethodDescriptionCandidateGenerator.generate(SatSolverState state)
Does not return the same candidate on two calls on the same instance.ConflictFreeGenerator.generate(SatSolverState state)
GroundGenerator.generate(SatSolverState state)
ModelGenerator.generate(SatSolverState state)
Modifier and TypeMethodDescriptionstatic CandidateGenerator
ConflictFreeGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined prefix.static CandidateGenerator
GroundGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes the ground interpretation if it extends the given prefix.static CandidateGenerator
ModelGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes two-valued models which are extensions of the defined prefix. -
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.processor
Modifier and TypeMethodDescriptionAdmissibleMaximizer.process(Interpretation interpretation)
ConflictFreeMaximizer.process(Interpretation interpretation)
InterpretationProcessor.process(Interpretation interpretation)
Modifier and TypeMethodDescriptionAdmissibleMaximizer.process(Interpretation interpretation)
ConflictFreeMaximizer.process(Interpretation interpretation)
InterpretationProcessor.process(Interpretation interpretation)
void
AdmissibleMaximizer.updateState(SatSolverState state, Interpretation maximal)
void
ConflictFreeMaximizer.updateState(SatSolverState state, Interpretation maximal)
void
InterpretationProcessor.updateState(SatSolverState state, Interpretation processed)
static InterpretationProcessor
AdmissibleMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, AbstractDialecticalFramework reduct, PropositionalMapping mapping, Interpretation prefix)
static InterpretationProcessor
ConflictFreeMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
-
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.verifier
Modifier and TypeMethodDescriptionboolean
AdmissibleVerifier.verify(Interpretation candidate)
boolean
CompleteVerifier.verify(Interpretation candidate)
boolean
GrounderStableVerifier.verify(Interpretation candidate)
boolean
NaiveVerifier.verify(Interpretation interpretation)
boolean
Verifier.verify(Interpretation interpretation)
-
Uses of Interpretation in org.tweetyproject.arg.adf.semantics.interpretation
Modifier and TypeMethodDescriptionInterpretation.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
static Interpretation
Interpretation.fromSet(Set<Argument> satisfied, AbstractDialecticalFramework adf)
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)
static Interpretation
Interpretation.fromWitness(Set<Literal> witness, PropositionalMapping mapping)
Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.InterpretationIterator.next()
TwoValuedInterpretationIterator.next()
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 inrestriction
.static Interpretation
Interpretation.singleValued(Argument argument, boolean value, AbstractDialecticalFramework adf)
Returns an interpretation relative toadf
with a single truth value decided.static Interpretation
Interpretation.union(Interpretation i1, Interpretation i2)
Creates the union of two disjunct interpretations.Modifier and TypeMethodDescriptionstatic Iterator<Interpretation>
Interpretation.partials(List<Argument> arguments, AbstractDialecticalFramework adf)
Goes through all possible partial interpretations respecting the order of the given list of arguments.Modifier and TypeMethodDescriptionstatic 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 inrestriction
.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
Modifier and TypeMethodDescriptionLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)
SatLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)
-
Uses of Interpretation in org.tweetyproject.arg.adf.transform
ModifierConstructorDescriptionFixPartialTransformer(Interpretation interpretation)
OmegaReductTransformer(Interpretation interpretation)
-
Uses of Interpretation in org.tweetyproject.arg.adf.util
Modifier and TypeMethodDescriptionExcludeSubinterpretationsIterator.next()
ExcludeTwoValuedSubinterpretationsIterator.next()
Modifier and TypeMethodDescriptionboolean
InterpretationTrieSet.add(Interpretation e)
InterpretationTrieSet.orderedDecided(Interpretation interpretation, Argument[] order)
ModifierConstructorDescriptionExcludeSubinterpretationsIterator(List<Interpretation> interpretations)
ExcludeTwoValuedSubinterpretationsIterator(List<Interpretation> interpretations)
InterpretationTrieSet(List<Interpretation> interpretations)