Uses of Class
net.sf.tweety.arg.adf.sat.IncrementalSatSolver
-
Packages that use IncrementalSatSolver Package Description net.sf.tweety.arg.adf.reasoner net.sf.tweety.arg.adf.reasoner.test net.sf.tweety.arg.adf.sat -
-
Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner declared as IncrementalSatSolver Modifier and Type Field Description private IncrementalSatSolver
AdmissibleInterpretationReasoner. solver
Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type IncrementalSatSolver Constructor Description AdmissibleInterpretationReasoner(IncrementalSatSolver solver)
Creates a new reasoner. -
Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.reasoner.test
Fields in net.sf.tweety.arg.adf.reasoner.test declared as IncrementalSatSolver Modifier and Type Field Description private static IncrementalSatSolver
ReasonerBenchmark. satSolver
-
Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.sat
Subclasses of IncrementalSatSolver in net.sf.tweety.arg.adf.sat Modifier and Type Class Description class
NativeLingelingSolver
Experimental lingeling binding
-