ConsistencyWitnessProvider (Tweety (Commons Logic) 1.16 API)

Type Parameters:

S - The type of formulas.

B - the type of belief bases
```
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	Description
`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(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(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.
    
    Parameters:
    
    formulas - a set of formulas
    
    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.
    
    Parameters:
    
    formula - a formula
    
    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.
    
    Parameters:
    
    bs - a belief set
    
    Returns:
    
    some model of the belief set or null.