package logtk
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
package logtk
-
logtk
-
-
logtk_solving
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Feature Vector indexing
Feature Vector indexing (see Schulz 2004) for efficient forward and backward subsumption.
This allows to retrieve clauses that (potentially) subsume or are subsumed by a given query clause.
type lits = Index_intf.lits
module Make (C : Index.CLAUSE) : sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page