Module Make.Feature
type t
=
{
name : string;
f : lits -> int;
}
a function that computes a given feature on clauses
include Interfaces.PRINT with type t := t
val sum_of_depths : t
sum of depths of symbols
val size_plus : t
size of positive clause
val size_minus : t
size of negative clause