package logtk

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Make.Feature_fun`

type t

val name : t -> string

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

include Interfaces.PRINT with type t := 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