net.sf.tweety.logics.commons.analysis

Interface ConsistencyWitnessProvider<S extends net.sf.tweety.commons.Formula>

Type Parameters:

S - The type of formulas.

public interface ConsistencyWitnessProvider<S extends net.sf.tweety.commons.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
net.sf.tweety.commons.Interpretation	getWitness(net.sf.tweety.commons.BeliefSet<S> bs) If the belief set is consistent this method returns some model of it or, if it is inconsistent, null.
net.sf.tweety.commons.Interpretation	getWitness(Collection<S> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
net.sf.tweety.commons.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

net.sf.tweety.commons.Interpretation getWitness(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

net.sf.tweety.commons.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

net.sf.tweety.commons.Interpretation getWitness(net.sf.tweety.commons.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.