Uses of Class
net.sf.tweety.logics.pl.sat.SatSolver

Packages that use SatSolver

Package	Description
net.sf.tweety.logics.pl.sat
net.sf.tweety.web.services

Uses of SatSolver in net.sf.tweety.logics.pl.sat

Subclasses of SatSolver in net.sf.tweety.logics.pl.sat

Modifier and Type	Class and Description
class	LingelingSolver A wrapper for the Lingeling SAT solver (tested with Lingeling version ats1 ce8c04fc97ef07cf279c0c5dcbbc7c5d9904230a).
class	Sat4jSolver Uses the Sat4j library for SAT solving (note that currently only the light version is used).

Fields in net.sf.tweety.logics.pl.sat declared as SatSolver

Modifier and Type	Field and Description
private static SatSolver	SatSolver.defaultSatSolver The default SAT solver.

Methods in net.sf.tweety.logics.pl.sat that return SatSolver

Modifier and Type	Method and Description
static SatSolver	SatSolver.getDefaultSolver() Returns the default SAT solver. If a default SAT solver has been configured this solver is returned by this method.

Methods in net.sf.tweety.logics.pl.sat with parameters of type SatSolver

Modifier and Type	Method and Description
static void	SatSolver.setDefaultSolver(SatSolver solver) Sets the default SAT solver.

Uses of SatSolver in net.sf.tweety.web.services

Fields in net.sf.tweety.web.services declared as SatSolver

Modifier and Type	Field and Description
static SatSolver	InconsistencyMeasurementService.satSolver The SAT solver configured for this service.