Uses of Interface
org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
-
-
-
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)
Methods in org.tweetyproject.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 org.tweetyproject.arg.adf.reasoner.sat
Methods in org.tweetyproject.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 org.tweetyproject.arg.adf.reasoner.sat.encodings
Constructors in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type Interpretation Constructor Description FixPartialSatEncoding(Interpretation interpretation)
LargerInterpretationSatEncoding(Interpretation interpretation)
RefineLargerSatEncoding(Interpretation interpretation)
RefineUnequalSatEncoding(Interpretation interpretation)
RelativeBipolarSatEncoding(Interpretation interpretation, Link link)
VerifyAdmissibleSatEncoding(Interpretation interpretation)
Constructor parameters in org.tweetyproject.arg.adf.reasoner.sat.encodings with type arguments of type Interpretation Constructor Description RelativeKBipolarSatEncoding(java.util.Map<Link,java.util.Set<Interpretation>> interpretations)
Deprecated. -
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
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 mapping, AbstractDialecticalFramework adf)
-
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
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 org.tweetyproject.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)
void
MaximizeInterpretationProcessor. updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)
-
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
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 everyverify
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 thePipeline
to verify if the computed candidateInterpretation
asserts a certain property. -
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(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(java.util.Set<Atom> 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 inrestriction
.static Interpretation
Interpretation. restrictUndecided(Interpretation interpretation, java.util.Collection<Argument> restriction)
static Interpretation
Interpretation. singleValued(Argument argument, boolean value, AbstractDialecticalFramework adf)
Returns an interpretation relative toadf
with a single truth value decided.Methods in org.tweetyproject.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 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, java.util.Collection<Argument> restriction)
Creates a new interpretation with the same assignments as in the given arguments, but only uses the arguments contained inrestriction
.static Interpretation
Interpretation. restrictUndecided(Interpretation interpretation, java.util.Collection<Argument> restriction)
static java.util.Map<Argument,java.lang.Boolean>
Interpretation. toMap(Interpretation interpretation)
-
Uses of Interpretation in org.tweetyproject.arg.adf.semantics.link
Constructors in org.tweetyproject.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 org.tweetyproject.arg.adf.transform
Constructors in org.tweetyproject.arg.adf.transform with parameters of type Interpretation Constructor Description FixPartialTransformer(Interpretation interpretation)
OmegaReductTransformer(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 java.util.Iterator<Interpretation>
InterpretationTrieSet. iterator()
Methods in org.tweetyproject.arg.adf.util with parameters of type Interpretation Modifier and Type Method Description boolean
InterpretationTrieSet. add(Interpretation e)
static java.util.List<Argument>
InterpretationTrieSet. orderedDecided(Interpretation interpretation, Argument[] order)
Constructor parameters in org.tweetyproject.arg.adf.util with type arguments of type Interpretation Constructor Description ExcludeSubinterpretationsIterator(java.util.List<Interpretation> interpretations)
ExcludeTwoValuedSubinterpretationsIterator(java.util.List<Interpretation> interpretations)
InterpretationTrieSet(java.util.List<Interpretation> interpretations)
-