S
- The type of formulas.public interface ConsistencyWitnessProvider<S extends Formula>
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.
|
Interpretation getWitness(java.util.Collection<S> formulas)
Interpretation getWitness(S formula)
Interpretation getWitness(BeliefSet<S> bs)