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 functionality
`Disjunction`	SatEncoding.`refineLarger(Interpretation interpretation)`
`Disjunction`	SatEncoding.`refineUnequal(Interpretation interpretation)`	TODO Define functionality
`java.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.