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

Packages that use ConsistencyWitnessProvider

Package	Description
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.sat

Uses of ConsistencyWitnessProvider in net.sf.tweety.logics.pl.analysis

Fields in net.sf.tweety.logics.pl.analysis declared as ConsistencyWitnessProvider

Modifier and Type	Field and Description
private ConsistencyWitnessProvider<PropositionalFormula>	HsInconsistencyMeasurementProcess.witnessProvider The witness provider used.
private ConsistencyWitnessProvider<PropositionalFormula>	ContensionInconsistencyMeasurementProcess.witnessProvider The witness provider used.

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

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

Modifier and Type	Class and Description
class	LingelingSolver A wrapper for the Lingeling SAT solver (tested with Lingeling version ats1 ce8c04fc97ef07cf279c0c5dcbbc7c5d9904230a).
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.