Functor LogtkFeatureVector.Make

module Make (C : LogtkIndex.CLAUSE) : sig .. end
Parameters:
C : LogtkIndex.CLAUSE

type feature_vector = int list 
a vector of feature

Features


module Feature: sig .. end
val compute_fv : Feature.t list ->
LogtkIndex.lits -> feature_vector

LogtkIndex


include LogtkIndex.SUBSUMPTION_IDX
val retrieve_alpha_equiv : t -> LogtkIndex.lits -> 'a -> ('a -> C.t -> 'a) -> 'a
Retrieve clauses that are potentially alpha-equivalent to the given clause
Since 0.6
val retrieve_alpha_equiv_c : t -> C.t -> 'a -> ('a -> C.t -> 'a) -> 'a
Since 0.6
val empty_with : Feature.t list -> t
val default_features : Feature.t list
val features_of_signature : ?ignore:(LogtkSymbol.t -> bool) ->
LogtkSignature.t -> Feature.t list
Build a set of features from the given signature. LogtkSymbols that satisfy ignore are not considered (default ignores connectives)
val of_signature : LogtkSignature.t -> t
val features : t -> Feature.t list