KernelContractionOperator

java.lang.Object
- org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator<T>
- - org.tweetyproject.beliefdynamics.kernels.KernelContractionOperator<T>

Type Parameters:

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

All Implemented Interfaces:

BaseContractionOperator<T>

Direct Known Subclasses:

RandomKernelContractionOperator
```
public class KernelContractionOperator<T extends Formula>
extends MultipleBaseContractionOperator<T>
```
This class implements kernel contraction for belief bases [Hansson:2001]. That is, contraction is realized by determining the set of kernel for the contraction, ie. the set of all minimal proofs for the formulas to be contracted, and then removing one formula from each kernel using an incision function.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`KernelContractionOperator(IncisionFunction<T> incisionFunction, KernelProvider<T> kernelProvider)`	Creates a new kernel contraction operator with the given incision function.

Method Summary

Modifier and Type	Method	Description
`java.util.Collection<T>`	`contract(java.util.Collection<T> base, java.util.Collection<T> formulas)`	Contracts the first collection of formulas by the second collection of formulas.

Methods inherited from class org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator
contract

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - KernelContractionOperator
```
public KernelContractionOperator(IncisionFunction<T> incisionFunction,
                                 KernelProvider<T> kernelProvider)
```
    Creates a new kernel contraction operator with the given incision function.
    
    Parameters:
    
    incisionFunction - some incision function.
    
    kernelProvider - the kernel provider for determining kernels.
- Method Detail
  - contract
```
public java.util.Collection<T> contract(java.util.Collection<T> base,
                                        java.util.Collection<T> formulas)
```
    Description copied from class: MultipleBaseContractionOperator
    
    Contracts the first collection of formulas by the second collection of formulas.
    
    Specified by:
    
    contract in class MultipleBaseContractionOperator<T extends Formula>
    
    Parameters:
    
    base - some collection of formulas.
    
    formulas - some formulas.
    
    Returns:
    
    the contracted collection.