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

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

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

Modifier	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, Semantics semantics, InferenceMode inferenceMode)	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

Modifier	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	DimacsMaxSatSolver	Generic class for Dimacs-based MaxSAT solvers.
class	DimacsSatSolver	Interface for SAT solvers which work on the Dimacs format.
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.