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
-
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) ModifierConstructorDescriptionRestrictedBipolarSatEncoding
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial) RestrictedKBipolarSatEncoding
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial) -
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.execution
-
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeMethodDescriptionAbstractCandidateGenerator.generate()
CandidateGenerator.generate()
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.restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
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 resultingCandidateGenerator
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 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) 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) ModifierConstructorDescriptionRestrictedKBipolarStateProcessor
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial) -
Uses of Interpretation in org.tweetyproject.arg.adf.reasoner.sat.verifier
Modifier and TypeMethodDescriptionboolean
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
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.fromSets
(Set<Argument> satisfied, Set<Argument> unsatisfied, Set<Argument> undecided) static Interpretation
Interpretation.fromSets
(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf) Interpretation fromSetsstatic 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.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 inrestriction
.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
-
Uses of Interpretation in org.tweetyproject.arg.adf.util
Modifier and TypeMethodDescriptionExcludeSubinterpretationsIterator.next()
ExcludeTwoValuedSubinterpretationsIterator.next()
Modifier and TypeMethodDescriptionboolean
InterpretationTrieSet.add
(Interpretation e) Deprecated.InterpretationTrieSet.orderedDecided
(Interpretation interpretation, Argument[] order) Deprecated.ModifierConstructorDescriptionExcludeSubinterpretationsIterator
(List<Interpretation> interpretations) ExcludeTwoValuedSubinterpretationsIterator
(List<Interpretation> interpretations) InterpretationTrieSet
(List<Interpretation> interpretations) Deprecated.