package logtk

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

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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct