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 solverSatCompleteReasoner(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.
-