Module LogtkFeatureVector

module LogtkFeatureVector: sig .. end

Feature Vector indexing




Feature Vector indexing (see Schulz 2004) for efficient forward and backward subsumption
module Make (C : LogtkIndex.CLAUSE) : sig .. end