Class PredicateFilterEndTreatment<RW extends MaterializedData & Writable>

java.lang.Object
fr.inria.rules.integraal.forward_chaining.chase.treatment.PredicateFilterEndTreatment<RW>
Type Parameters:
RW - the writable materialized data type handled by the treatment
All Implemented Interfaces:
EndTreatment<RW>, Treatment<RW>

public class PredicateFilterEndTreatment<RW extends MaterializedData & Writable> extends Object implements EndTreatment<RW>
End treatment to filter out facts with predicates not in the provided list.
  • Constructor Details

    • PredicateFilterEndTreatment

      public PredicateFilterEndTreatment(Map<Integer, Set<Predicate>> predicatesToRemoveByStep)
      Creates a predicate-filtering end treatment.
      Parameters:
      predicatesToRemoveByStep - predicates to remove for each chase step
  • Method Details