net.sf.tweety.logics.commons.analysis

Interface ConsistencyWitnessProvider<S extends Formula>

Type Parameters:

S - The type of formulas.

All Known Implementing Classes:

LingelingSolver, Sat4jSolver, SatSolver

public interface ConsistencyWitnessProvider<S extends Formula>

Provides methods for returning some model (if it exists) of a set of formulas.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
Interpretation	getWitness(BeliefSet<S> bs) If the belief set is consistent this method returns some model of it or, if it is inconsistent, null.
Interpretation	getWitness(java.util.Collection<S> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
Interpretation	getWitness(S formula) If the formula is consistent this method returns some model of it or, if it is inconsistent, null.

Method Detail

getWitness

Interpretation getWitness(java.util.Collection<S> formulas)

If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.

Returns:

some model of the formulas or null.

getWitness

Interpretation getWitness(S formula)

If the formula is consistent this method returns some model of it or, if it is inconsistent, null.

Returns:

some model of the formula or null.

getWitness

Interpretation getWitness(BeliefSet<S> bs)

If the belief set is consistent this method returns some model of it or, if it is inconsistent, null.

Returns:

some model of the belief set or null.