Uses of Class
net.sf.tweety.arg.adf.semantics.Interpretation
-
Packages that use Interpretation Package Description net.sf.tweety.arg.adf.reasoner net.sf.tweety.arg.adf.semantics net.sf.tweety.arg.adf.util -
-
Uses of Interpretation in net.sf.tweety.arg.adf.reasoner
Methods in net.sf.tweety.arg.adf.reasoner that return Interpretation Modifier and Type Method Description private Interpretation
AdmissibleInterpretationReasoner. existsAdm(AbstractDialecticalFramework adf, Interpretation interpretation, SatSolverState state, SatEncoding enc)
private Interpretation
NaiveInterpretationReasoner. existsNai(AbstractDialecticalFramework adf, Interpretation interpretation, java.util.Collection<Disjunction> excluded, SatEncoding enc)
abstract Interpretation
AbstractDialecticalFrameworkReasoner. getModel(AbstractDialecticalFramework bbase)
Interpretation
AdmissibleInterpretationReasoner. getModel(AbstractDialecticalFramework adf)
Interpretation
NaiveInterpretationReasoner. getModel(AbstractDialecticalFramework adf)
Interpretation
SatModelReasoner. getModel(AbstractDialecticalFramework bbase)
Interpretation
SatEncoding. interpretationFromWitness(Interpretation<PlBeliefSet,PlFormula> witness)
Methods in net.sf.tweety.arg.adf.reasoner that return types with arguments of type Interpretation Modifier and Type Method Description abstract java.util.Collection<Interpretation>
AbstractDialecticalFrameworkReasoner. getModels(AbstractDialecticalFramework bbase)
java.util.Collection<Interpretation>
AdmissibleInterpretationReasoner. getModels(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>
NaiveInterpretationReasoner. getModels(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>
SatModelReasoner. getModels(AbstractDialecticalFramework bbase)
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Interpretation Modifier and Type Method Description private Interpretation
AdmissibleInterpretationReasoner. existsAdm(AbstractDialecticalFramework adf, Interpretation interpretation, SatSolverState state, SatEncoding enc)
private Interpretation
NaiveInterpretationReasoner. existsNai(AbstractDialecticalFramework adf, Interpretation interpretation, java.util.Collection<Disjunction> excluded, SatEncoding enc)
java.util.Collection<Disjunction>
SatEncoding. kBipolar(Interpretation interpretation)
java.util.Collection<Disjunction>
SatEncoding. largerInterpretation(Interpretation interpretation)
TODO define functionalityDisjunction
SatEncoding. refineLarger(Interpretation interpretation)
Disjunction
SatEncoding. refineUnequal(Interpretation interpretation)
TODO Define functionalityjava.util.Collection<Disjunction>
SatEncoding. verifyAdmissible(Interpretation interpretation)
-
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.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.
-