net.sf.tweety.logics.commons.analysis

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

Type Parameters:

S - The type of formulas.

public interface ConsistencyWitnessProvider<B extends net.sf.tweety.commons.BeliefBase,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<B,S>	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<B,S>	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<B,S>	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<B,S> 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<B,S> 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<B,S> 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.