- All Implemented Interfaces:
- BaseContractionOperator<PropositionalFormula>
public class RandomKernelContractionOperator
extends KernelContractionOperator<PropositionalFormula>
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