package logtk

  1. Overview
  2. Docs
On This Page
  1. Feature Functions
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.Feature_funSource

Feature Functions

Sourcetype t
Sourceval name : t -> string
Sourceval compute : t -> C.t -> feature
include Interfaces.PRINT with type t := t
Sourceval to_string : t -> string
Sourceval size_plus : t

size of positive clause

Sourceval size_minus : t

size of negative clause

Sourceval labels : t
Sourceval weight_plus : t
Sourceval weight_minus : t
Sourceval set_sym_plus : t

set of positive symbols

Sourceval set_sym_minus : t

set of negative symbols

Sourceval depth_sym_plus : t

max depth of positive symbols

Sourceval depth_sym_minus : t

max depth of negative symbols

Sourceval multiset_sym_plus : t

multiset of positive symbols

Sourceval multiset_sym_minus : t

multiset of negative symbols