Uses of Class
org.tweetyproject.logics.pl.sat.SatSolver

Packages that use SatSolver

Package	Description
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.sat
org.tweetyproject.web.services

Uses of SatSolver in org.tweetyproject.arg.dung.reasoner

Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type SatSolver

Constructor	Description
AbstractSatExtensionReasoner(SatSolver solver)	Instantiates a new reasoner that uses the given SAT solver
SatCompleteReasoner(SatSolver solver)	Constructs a new complete reasoner.
SatStableReasoner(SatSolver solver)	Constructs a new stable reasoner.
SeeAcceptabilityReasoner(SatSolver satSolver)	Creates a new IaqAcceptabilityReasoner.

Uses of SatSolver in org.tweetyproject.logics.pl.analysis

Constructors in org.tweetyproject.logics.pl.analysis with parameters of type SatSolver

Constructor	Description
ContensionSatInconsistencyMeasure(SatSolver solver)	Create a new ContensionSatInconsistencyMeasure with the given SAT solver.
DHitSatInconsistencyMeasure(SatSolver solver)	Create a new DHitSatInconsistencyMeasure with the given SAT solver.
DMaxSatInconsistencyMeasure(SatSolver solver)	Create a new DMaxSatInconsistencyMeasure with the given SAT solver.
DSumSatInconsistencyMeasure(SatSolver solver)	Create a new DSumSatInconsistencyMeasure with the given SAT solver.
HsSatInconsistencyMeasure(SatSolver solver)	Create a new HsSatInconsistencyMeasure with the given SAT solver.
SatBasedInconsistencyMeasure(SatSolver solver)	Create a new SAT-based inconsistency measure with the given SAT solver.

Uses of SatSolver in org.tweetyproject.logics.pl.sat

Subclasses of SatSolver in org.tweetyproject.logics.pl.sat

Modifier and Type	Class	Description
class	CmdLineSatSolver	This class offers a generic wrapper for command line based SAT solvers.
class	MaxSatSolver	Provides a generic class for implementing MaxSAT solvers, i.e.
class	OpenWboSolver	Provides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo.
class	Sat4jSolver	Uses the Sat4j library for SAT solving (note that currently only the light version is used).
class	SimpleDpllSolver	This class provides a simple reference implementation of the DPLL (Davis–Putnam–Logemann–Loveland) algorithm for satisfiability testing, see e.g https://en.wikipedia.org/wiki/DPLL_algorithm.

Methods in org.tweetyproject.logics.pl.sat that return SatSolver

Modifier and Type	Method	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 org.tweetyproject.logics.pl.sat with parameters of type SatSolver

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

Uses of SatSolver in org.tweetyproject.web.services

Fields in org.tweetyproject.web.services declared as SatSolver

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