Class AbstractMusEnumerator<S extends Formula>
java.lang.Object
org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator<S>
- Type Parameters:
S
- the type of formulas
- All Implemented Interfaces:
BeliefSetConsistencyTester<S>
,ConsistencyTester<BeliefSet<S,?>>
,MusEnumerator<S>
- Direct Known Subclasses:
NaiveMusEnumerator
,PlMusEnumerator
public abstract class AbstractMusEnumerator<S extends Formula>
extends Object
implements MusEnumerator<S>
Abstract implementation for MUes enumerators.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetMiComponents(Collection<S> formulas)
Computes the maximal (wrt.boolean
isConsistent(Collection<S> formulas)
Checks whether the given collection of formulas is consistent.boolean
isConsistent(BeliefSet<S,?> beliefSet)
Checks whether the given belief base is consistent.boolean
isConsistent(S formula)
Checks whether the given formula is consistent.maximalConsistentSubsets(Collection<S> formulas)
This method returns the maximal consistent subsets of the given set of formulasminimalCorrectionSubsets(Collection<S> formulas)
This method returns the minimal correction subsets of the given set of formulas (i.e.abstract Collection<Collection<S>>
minimalInconsistentSubsets(Collection<S> formulas)
This method returns the minimal inconsistent subsets of the given set of formulas.
-
Constructor Details
-
AbstractMusEnumerator
public AbstractMusEnumerator()
-
-
Method Details
-
minimalInconsistentSubsets
Description copied from interface:MusEnumerator
This method returns the minimal inconsistent subsets of the given set of formulas.- Specified by:
minimalInconsistentSubsets
in interfaceMusEnumerator<S extends Formula>
- Parameters:
formulas
- a set of formulas.- Returns:
- the minimal inconsistent subsets of the given set of formulas
-
minimalCorrectionSubsets
Description copied from interface:MusEnumerator
This method returns the minimal correction subsets of the given set of formulas (i.e. the complements of maximal consistent subsets)- Specified by:
minimalCorrectionSubsets
in interfaceMusEnumerator<S extends Formula>
- Parameters:
formulas
- a set of formulas- Returns:
- the minimal corrections subsets of the given set of formulas.
-
maximalConsistentSubsets
Description copied from interface:MusEnumerator
This method returns the maximal consistent subsets of the given set of formulas- Specified by:
maximalConsistentSubsets
in interfaceMusEnumerator<S extends Formula>
- Parameters:
formulas
- a set of formulas- Returns:
- the maximal consistent subsets of the given set of formulas.
-
isConsistent
Description copied from interface:ConsistencyTester
Checks whether the given belief base is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<S extends Formula>
- Specified by:
isConsistent
in interfaceConsistencyTester<S extends Formula>
- Specified by:
isConsistent
in interfaceMusEnumerator<S extends Formula>
- Parameters:
beliefSet
- a belief base.- Returns:
- "true" iff the given belief base is consistent.
-
isConsistent
Description copied from interface:BeliefSetConsistencyTester
Checks whether the given formula is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<S extends Formula>
- Specified by:
isConsistent
in interfaceMusEnumerator<S extends Formula>
- Parameters:
formula
- a formulas.- Returns:
- "true" iff the formula is consistent.
-
isConsistent
Description copied from interface:BeliefSetConsistencyTester
Checks whether the given collection of formulas is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<S extends Formula>
- Specified by:
isConsistent
in interfaceMusEnumerator<S extends Formula>
- Parameters:
formulas
- a collection of formulas.- Returns:
- "true" iff the given collection of formulas is consistent.
-
getMiComponents
Description copied from interface:MusEnumerator
Computes the maximal (wrt. cardinality) partitioning {K1,...,Kn} of K (ie. K is a disjoint union of K1,...,Kn) such that MI(K) is a disjoint union of MI(K1),...,MI(Kn).- Specified by:
getMiComponents
in interfaceMusEnumerator<S extends Formula>
- Parameters:
formulas
- a set of formulas K- Returns:
- the MI components of K
-