Uses of Class
net.sf.tweety.arg.adf.reasoner.SatEncoding
-
Packages that use SatEncoding Package Description net.sf.tweety.arg.adf.reasoner -
-
Uses of SatEncoding in net.sf.tweety.arg.adf.reasoner
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type SatEncoding 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)
-