Interface CoreProcessor<RW extends MaterializedData & Writable>

Type Parameters:
RW - the mutable materialized data type processed by this core computation
All Known Implementing Classes:
ByPieceAndVariableCoreProcessor, ByPieceCoreProcessor, MultiThreadsByPieceCoreProcessor, NaiveCoreProcessor
public interface CoreProcessor<RW extends MaterializedData & Writable>
Compute the core of a fact base. The computed core is a fact base without redundant atoms; 'core' corresponds to the notion of graph theory (the set of atoms being viewed as a bipartite (predicate/term) graph).
Author:
Guillaume Pérution-Kihli

  • Method Summary

    Modifier and Type
    Method
    Description
    default void
    computeCore(RW writableData)
    Compute the core of a fact base by removing all the redundant atoms in it
    void
    computeCore(RW writableData, Set<Variable> frozenVariables)
    Compute the core of a fact base by removing all the redundant atoms in it, in considering the frozen variables as constants, these variables must belong to the core.

  • Method Details

    • computeCore

      default void computeCore(RW writableData)
      Compute the core of a fact base by removing all the redundant atoms in it
      Parameters:
      writableData - the data on which we want to compute the core

    • computeCore

      void computeCore(RW writableData, Set<Variable> frozenVariables)
      Compute the core of a fact base by removing all the redundant atoms in it, in considering the frozen variables as constants, these variables must belong to the core.
      Parameters:
      writableData - the writable data on which we want to compute the core
      frozenVariables - Variables that will be treated as constants