Uses of Class
net.sf.tweety.arg.adf.semantics.Interpretation
-
-
-
Uses of Interpretation in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner declared as Interpretation Modifier and Type Field Description private Interpretation
Pipeline.PipelineIterator. next
Methods in net.sf.tweety.arg.adf.reasoner that return Interpretation Modifier and Type Method Description Interpretation
AbstractDialecticalFrameworkReasoner. getModel(AbstractDialecticalFramework adf)
Interpretation
Pipeline.PipelineIterator. next()
private Interpretation
Pipeline.PipelineIterator. nextModel()
private Interpretation
Pipeline. process(java.util.Queue<InterpretationProcessor<S>> processors, java.util.Set<InterpretationProcessor<S>> isolated, S state, Interpretation interpretation, AbstractDialecticalFramework adf)
Methods in net.sf.tweety.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>
Pipeline. iterator(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>
AbstractDialecticalFrameworkReasoner. modelIterator(AbstractDialecticalFramework adf)
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Interpretation Modifier and Type Method Description private Interpretation
Pipeline. process(java.util.Queue<InterpretationProcessor<S>> processors, java.util.Set<InterpretationProcessor<S>> isolated, S state, Interpretation interpretation, AbstractDialecticalFramework adf)
private boolean
Pipeline.PipelineIterator. verify(java.util.Queue<Verifier<S>> verifiers, Interpretation candidate)
-
Uses of Interpretation in net.sf.tweety.arg.adf.reasoner.encodings
Methods in net.sf.tweety.arg.adf.reasoner.encodings that return Interpretation Modifier and Type Method Description Interpretation
SatEncodingContext. interpretationFromWitness(Interpretation<PlBeliefSet,PlFormula> witness)
Constructs an ADF interpretation from the given SAT witness.Methods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type Interpretation Modifier and Type Method Description java.util.Collection<Disjunction>
BipolarSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
ConflictFreeInterpretationSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
FixPartialSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
KBipolarSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
LargerInterpretationSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
RefineLargerSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
RefineUnequalSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
SatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
Constructs a SAT encoding based on the given context and an optional interpretation.java.util.Collection<Disjunction>
TwoValuedModelSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>
VerifyAdmissibleSatEncoding. encode(SatEncodingContext context, Interpretation interpretation)
-
Uses of Interpretation in net.sf.tweety.arg.adf.reasoner.generator
Methods in net.sf.tweety.arg.adf.reasoner.generator that return Interpretation Modifier and Type Method Description Interpretation
CandidateGenerator. generate(S state, AbstractDialecticalFramework adf)
Does not return the same candidate on two calls on the same instance.Interpretation
SatConflictFreeGenerator. generate(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation
SatGroundGenerator. generate(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation
SatModelGenerator. generate(SatReasonerContext context, AbstractDialecticalFramework adf)
-
Uses of Interpretation in net.sf.tweety.arg.adf.reasoner.processor
Methods in net.sf.tweety.arg.adf.reasoner.processor that return Interpretation Modifier and Type Method Description Interpretation
InterpretationProcessor. process(S state, 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
SatMaximizeInterpretationProcessor. process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
Interpretation
SatPartialKBipolarInterpretationProcessor. process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
Methods in net.sf.tweety.arg.adf.reasoner.processor with parameters of type Interpretation Modifier and Type Method Description Interpretation
InterpretationProcessor. process(S state, 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
SatMaximizeInterpretationProcessor. process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
Interpretation
SatPartialKBipolarInterpretationProcessor. process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
void
InterpretationProcessor. updateState(S state, Interpretation processed, AbstractDialecticalFramework adf)
void
SatMaximizeInterpretationProcessor. updateState(SatReasonerContext context, Interpretation maximal, AbstractDialecticalFramework adf)
void
SatPartialKBipolarInterpretationProcessor. updateState(SatReasonerContext context, Interpretation processed, AbstractDialecticalFramework adf)
-
Uses of Interpretation in net.sf.tweety.arg.adf.reasoner.test
Methods in net.sf.tweety.arg.adf.reasoner.test with parameters of type Interpretation Modifier and Type Method Description private java.util.Map<java.lang.String,java.lang.Boolean>
ReasonerBenchmark. toMap(Interpretation interpretation)
-
Uses of Interpretation in net.sf.tweety.arg.adf.reasoner.verifier
Methods in net.sf.tweety.arg.adf.reasoner.verifier with parameters of type Interpretation Modifier and Type Method Description boolean
GrounderStableVerifier. verify(S state, Interpretation candidate, AbstractDialecticalFramework adf)
boolean
SatAdmissibleVerifier. verify(SatReasonerContext state, Interpretation candidate, AbstractDialecticalFramework adf)
boolean
SatCompleteVerifier. verify(SatReasonerContext context, Interpretation candidate, AbstractDialecticalFramework adf)
boolean
Verifier. verify(S state, Interpretation candidate, AbstractDialecticalFramework adf)
-
Uses of Interpretation in net.sf.tweety.arg.adf.semantics
Methods in net.sf.tweety.arg.adf.semantics with parameters of type Interpretation Modifier and Type Method Description int
Interpretation. compareTo(Interpretation that)
-
Uses of Interpretation in net.sf.tweety.arg.adf.syntax
Methods in net.sf.tweety.arg.adf.syntax with parameters of type Interpretation Modifier and Type Method Description AbstractDialecticalFramework
AbstractDialecticalFramework. omegaReduct(Interpretation interpretation)
Computes a reduct of this ADF relative to the given interpretation s.t. -
Uses of Interpretation in net.sf.tweety.arg.adf.transform
Fields in net.sf.tweety.arg.adf.transform declared as Interpretation Modifier and Type Field Description private Interpretation
OmegaReductTransform. interpretation
private Interpretation
FixPartialTransform. partialInterpretation
Constructors in net.sf.tweety.arg.adf.transform with parameters of type Interpretation Constructor Description FixPartialTransform(Interpretation partialInterpretation)
OmegaReductTransform(Interpretation interpretation)
-
Uses of Interpretation in net.sf.tweety.arg.adf.util
Methods in net.sf.tweety.arg.adf.util with parameters of type Interpretation Modifier and Type Method Description static boolean
TestUtil. equalInterpretations(Interpretation interpretation, java.util.Map<java.lang.String,java.lang.Boolean> map)
Checks if the different representations of interpretations are equal, i.e.
-