public class RandomKernelContractionOperator extends KernelContractionOperator<net.sf.tweety.logics.pl.syntax.PropositionalFormula>
| Constructor and Description |
|---|
RandomKernelContractionOperator()
Creates a new contraction operator.
|
contractcontractCopyright © 2018. All rights reserved.