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

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
abstract Interpretation	AbstractDialecticalFrameworkReasoner.getModel(AbstractDialecticalFramework bbase)
Interpretation	AdmissibleInterpretationReasoner.getModel(AbstractDialecticalFramework adf)
Interpretation	NaiveInterpretationReasoner.getModel(AbstractDialecticalFramework adf)
Interpretation	SatModelReasoner.getModel(AbstractDialecticalFramework bbase)
Interpretation	SatEncoding.interpretationFromWitness(net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula> witness)

Methods in net.sf.tweety.arg.adf.reasoner that return types with arguments of type Interpretation

Modifier and Type	Method	Description
abstract Collection<Interpretation>	AbstractDialecticalFrameworkReasoner.getModels(AbstractDialecticalFramework bbase)
Collection<Interpretation>	AdmissibleInterpretationReasoner.getModels(AbstractDialecticalFramework adf)
Collection<Interpretation>	NaiveInterpretationReasoner.getModels(AbstractDialecticalFramework adf)
Collection<Interpretation>	SatModelReasoner.getModels(AbstractDialecticalFramework bbase)

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Interpretation

Modifier and Type	Method	Description
Collection<net.sf.tweety.logics.pl.syntax.Disjunction>	SatEncoding.kBipolar(Interpretation interpretation)
Collection<net.sf.tweety.logics.pl.syntax.Disjunction>	SatEncoding.largerInterpretation(Interpretation interpretation)	TODO define functionality
net.sf.tweety.logics.pl.syntax.Disjunction	SatEncoding.refineLarger(Interpretation interpretation)
net.sf.tweety.logics.pl.syntax.Disjunction	SatEncoding.refineUnequal(Interpretation interpretation)	TODO Define functionality
Collection<net.sf.tweety.logics.pl.syntax.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)