Class 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 Details

    • RandomKernelContractionOperator

      public RandomKernelContractionOperator()
      Creates a new contraction operator.