Class PlWindowInconsistencyMeasurementProcess

All Implemented Interfaces:
Runnable

public class PlWindowInconsistencyMeasurementProcess extends WindowInconsistencyMeasurementProcess<PlFormula>
A window inconsistency measurement process for propositional logic (this class needs to be there as no generics are allowed when instantiating a DefaultStreamBasedInconsistencyMeasure.
Author:
Matthias Thimm
  • Constructor Details

    • PlWindowInconsistencyMeasurementProcess

      public PlWindowInconsistencyMeasurementProcess()