S
- the type of formulaspublic abstract class AbstractMusEnumerator<S extends Formula> extends java.lang.Object implements MusEnumerator<S>
Constructor and Description |
---|
AbstractMusEnumerator() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<java.util.Collection<S>> |
getMiComponents(java.util.Collection<S> formulas)
Computes the maximal (wrt.
|
boolean |
isConsistent(BeliefSet<S> beliefSet)
Checks whether the given belief base is consistent.
|
boolean |
isConsistent(java.util.Collection<S> formulas)
Checks whether the given collection of formulas is consistent.
|
boolean |
isConsistent(S formula)
Checks whether the given formula is consistent.
|
java.util.Collection<java.util.Collection<S>> |
maximalConsistentSubsets(java.util.Collection<S> formulas)
This method returns the maximal consistent subsets of the given
set of formulas
|
java.util.Set<java.util.Set<S>> |
minimalCorrectionSubsets(java.util.Collection<S> formulas)
This method returns the minimal correction subsets of the given
set of formulas (i.e.
|
abstract java.util.Collection<java.util.Collection<S>> |
minimalInconsistentSubsets(java.util.Collection<S> formulas)
This method returns the minimal inconsistent subsets of the given
set of formulas.
|
public abstract java.util.Collection<java.util.Collection<S>> minimalInconsistentSubsets(java.util.Collection<S> formulas)
MusEnumerator
minimalInconsistentSubsets
in interface MusEnumerator<S extends Formula>
formulas
- a set of formulas.public java.util.Set<java.util.Set<S>> minimalCorrectionSubsets(java.util.Collection<S> formulas)
MusEnumerator
minimalCorrectionSubsets
in interface MusEnumerator<S extends Formula>
formulas
- a set of formulaspublic java.util.Collection<java.util.Collection<S>> maximalConsistentSubsets(java.util.Collection<S> formulas)
MusEnumerator
maximalConsistentSubsets
in interface MusEnumerator<S extends Formula>
formulas
- a set of formulaspublic boolean isConsistent(BeliefSet<S> beliefSet)
ConsistencyTester
isConsistent
in interface BeliefSetConsistencyTester<S extends Formula>
isConsistent
in interface ConsistencyTester<BeliefSet<S extends Formula>>
isConsistent
in interface MusEnumerator<S extends Formula>
beliefSet
- a belief base.public boolean isConsistent(S formula)
BeliefSetConsistencyTester
isConsistent
in interface BeliefSetConsistencyTester<S extends Formula>
isConsistent
in interface MusEnumerator<S extends Formula>
formula
- a formulas.public boolean isConsistent(java.util.Collection<S> formulas)
BeliefSetConsistencyTester
isConsistent
in interface BeliefSetConsistencyTester<S extends Formula>
isConsistent
in interface MusEnumerator<S extends Formula>
formulas
- a collection of formulas.public java.util.Collection<java.util.Collection<S>> getMiComponents(java.util.Collection<S> formulas)
MusEnumerator
getMiComponents
in interface MusEnumerator<S extends Formula>
formulas
- a set of formulas K