ConsolidationOperator

Type Parameters:

T - The type of formulas this consolidation operator works on.

All Known Implementing Classes:

ScreenedMaxichoiceConsolidation
```
public interface ConsolidationOperator<T extends Formula>
```
This interface represents an consolidation operator for belief bases as defined in [KKI12].

Author:

Sebastian Homann

- Method Summary
  
  Modifier and Type Method Description
  
  java.util.Collection<T> consolidate(java.util.Collection<T> p)
  Returns a consolidation of set p, i.e.

- Method Detail
  - consolidate
```
java.util.Collection<T> consolidate(java.util.Collection<T> p)
```
    Returns a consolidation of set p, i.e. a consistent subset of p.
    
    Parameters:
    
    p - a belief base
    
    Returns:
    
    the consolidated belief base