Uses of Interface
net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester

Packages that use BeliefSetConsistencyTester

Package	Description
net.sf.tweety.arg.adf.sat
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.qbf.reasoner

Uses of BeliefSetConsistencyTester in net.sf.tweety.arg.adf.sat

Classes in net.sf.tweety.arg.adf.sat that implement BeliefSetConsistencyTester

Modifier and Type	Class	Description
class	IncrementalSatSolver
class	NativeLingelingSolver	Experimental lingeling binding
class	NativeMinisatSolver
class	NativePicosatSolver
class	SimpleIncrementalSatSolver	A simple wrapper which can be used where instances of IncrementalSatSolver are needed.

Uses of BeliefSetConsistencyTester in net.sf.tweety.logics.commons.analysis

Subinterfaces of BeliefSetConsistencyTester in net.sf.tweety.logics.commons.analysis

Modifier and Type	Interface	Description
interface	MusEnumerator<S extends Formula>	Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).

Classes in net.sf.tweety.logics.commons.analysis that implement BeliefSetConsistencyTester

Modifier and Type	Class	Description
class	AbstractBeliefSetConsistencyTester<T extends Formula>	Classes extending this abstract class are capable of testing whether a given belief set is consistent.
class	AbstractMusEnumerator<S extends Formula>	Abstract implementation for MUes enumerators.
class	NaiveMusEnumerator<S extends Formula>	A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.

Constructors in net.sf.tweety.logics.commons.analysis with parameters of type BeliefSetConsistencyTester

Constructor	Description
DrasticInconsistencyMeasure(BeliefSetConsistencyTester<S> consTester)	Creates a new drastic inconsistency measure.
NaiveMusEnumerator(BeliefSetConsistencyTester<S> tester)	Creates a new naive MusEnumerator that uses the given consistency tester.

Uses of BeliefSetConsistencyTester in net.sf.tweety.logics.pcl.analysis

Classes in net.sf.tweety.logics.pcl.analysis that implement BeliefSetConsistencyTester

Modifier and Type	Class	Description
class	PclDefaultConsistencyTester	This class is capable of checking whether a given conditional knowledge base is consistent by searching for the root of some equivalent multi-dimensional function.

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

Classes in net.sf.tweety.logics.pl.sat that implement BeliefSetConsistencyTester

Modifier and Type	Class	Description
class	LingelingSolver	A wrapper for the Lingeling SAT solver (tested with Lingeling version ats1 ce8c04fc97ef07cf279c0c5dcbbc7c5d9904230a).
class	MarcoMusEnumerator	Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).
class	MaxSatSolver	Provides a generic class for implementing MaxSAT solvers, i.e.
class	MimusMusEnumerator	Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).
class	OpenWboSolver	Provides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo.
class	PlMusEnumerator	This abstract class models a MUS enumerator for propositional logic, i.e.
class	Sat4jSolver	Uses the Sat4j library for SAT solving (note that currently only the light version is used).
class	SatSolver	Abstract class for specifying SAT solvers.
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.

Uses of BeliefSetConsistencyTester in net.sf.tweety.logics.qbf.reasoner

Classes in net.sf.tweety.logics.qbf.reasoner that implement BeliefSetConsistencyTester

Modifier and Type	Class	Description
class	CadetSolver	A wrapper for the Cadet (https://markusrabe.github.io/cadet/) solver.
class	CaqeSolver	A wrapper for the Caqe (https://www.react.uni-saarland.de/tools/caqe/ solver.
class	GhostQSolver	A wrapper for the GhostQ (https://www.wklieber.com/ghostq/) solver.
class	QbfSolver	Abstract QBF sat solver to be implemented by concrete solvers.
class	QuteSolver	A wrapper for the Qute (https://www.ac.tuwien.ac.at/research/qute/) solver.