Class RandomKernelContractionOperator

  • All Implemented Interfaces:

    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)
    Matthias Thimm
    • Constructor Detail

      • RandomKernelContractionOperator

        public RandomKernelContractionOperator()
        Creates a new contraction operator.