Module `Make.Feature_fun`

Feature Functions

type t

val name : t -> string
val compute : t -> C.t -> feature

include Interfaces.PRINT with type t := t

type t

val pp : t CCFormat.printer
val to_string : t -> string

val size_plus : t: size of positive clause

val size_minus : t: size of negative clause

val labels : t
val weight_plus : t
val weight_minus : t
val set_sym_plus : t: set of positive symbols

val set_sym_minus : t: set of negative symbols

val depth_sym_plus : t: max depth of positive symbols

val depth_sym_minus : t: max depth of negative symbols

val multiset_sym_plus : t: multiset of positive symbols

val multiset_sym_minus : t: multiset of negative symbols