logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . FV_tree . Make . Feature_fun

Feature Functions

type t
val name : t -> string
val compute : t -> C.t -> feature
include Interfaces.PRINT with type t := t
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