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 positive clause

size of negative clause

val labels : t

size of negative clause

val weight_plus : t
val weight_minus : t
val set_sym_plus : t

set of positive symbols

val set_sym_minus : t

set of positive symbols

set of negative symbols

val depth_sym_plus : t

set of negative symbols

max depth of positive symbols

val depth_sym_minus : t

max depth of positive symbols

max depth of negative symbols

val multiset_sym_plus : t

max depth of negative symbols

multiset of positive symbols

val multiset_sym_minus : t

multiset of positive symbols

multiset of negative symbols