Uses of Interface
org.tweetyproject.logics.commons.analysis.ConsistencyTester

Packages that use ConsistencyTester

Package	Description
org.tweetyproject.action.description.analysis
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.pcl.analysis
org.tweetyproject.logics.pl.sat
org.tweetyproject.logics.qbf.reasoner

Uses of ConsistencyTester in org.tweetyproject.action.description.analysis

Subinterfaces of ConsistencyTester in org.tweetyproject.action.description.analysis

Modifier and Type	Interface	Description
interface	ActionDescriptionConsistencyTester<T extends CausalLaw>	Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.

Classes in org.tweetyproject.action.description.analysis that implement ConsistencyTester

Modifier and Type	Class	Description
class	CActionDescriptionConsistencyTester	This class is able to check if a given action description in the action language C is consistent with regards to one simple consistency requirement: The transition system described by the action description has at least one state.

Uses of ConsistencyTester in org.tweetyproject.logics.commons.analysis

Subinterfaces of ConsistencyTester in org.tweetyproject.logics.commons.analysis

Modifier and Type	Interface	Description
interface	BeliefSetConsistencyTester<T extends Formula>	Classes extending this abstract class are capable of testing whether a given belief set is consistent.
interface	MusEnumerator<S extends Formula>	Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).

Classes in org.tweetyproject.logics.commons.analysis that implement ConsistencyTester

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.

Uses of ConsistencyTester in org.tweetyproject.logics.pcl.analysis

Classes in org.tweetyproject.logics.pcl.analysis that implement ConsistencyTester

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 ConsistencyTester in org.tweetyproject.logics.pl.sat

Classes in org.tweetyproject.logics.pl.sat that implement ConsistencyTester

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	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 ConsistencyTester in org.tweetyproject.logics.qbf.reasoner

Classes in org.tweetyproject.logics.qbf.reasoner that implement ConsistencyTester

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.