RandomKernelContractionOperator

java.lang.Object
- net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator<T>
- - net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator<PlFormula>
  - - net.sf.tweety.beliefdynamics.operators.RandomKernelContractionOperator

All Implemented Interfaces:

BaseContractionOperator<PlFormula>
```
public class RandomKernelContractionOperator
extends KernelContractionOperator<PlFormula>
```
This class implements a simple kernel base contraction for propositional logic with an incision function that randomly selects its incisions.
NOTE: results of this operator are not deterministic and may not be reproduced (however, each result is a valid kernel contraction)

Author:

Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  RandomKernelContractionOperator()
  Creates a new contraction operator.
- Method Summary
  - Methods inherited from class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator
    contract
  - Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
    contract
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - RandomKernelContractionOperator
```
public RandomKernelContractionOperator()
```
    Creates a new contraction operator.