package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
a function that computes a given feature on clauses
val name : t -> stringval compute : t -> LogtkIndex.lits -> intval pp : Buffer.t -> t -> unitval fmt : Format.formatter -> t -> unitval sum_of_depths : tsum of depths of symbols
val size_plus : tsum of depths of symbols
size of positive clause
val size_minus : tsize of positive clause
size of negative clause
val count_symb_plus : LogtkSymbol.t -> tsize of negative clause
occurrences of symbol in positive clause
val count_symb_minus : LogtkSymbol.t -> toccurrences of symbol in positive clause
occurrences of symbol in negative clause
val max_depth_plus : LogtkSymbol.t -> toccurrences of symbol in negative clause
maximal depth of symb in positive clause
val max_depth_minus : LogtkSymbol.t -> tmaximal depth of symb in positive clause
maximal depth of symb in negative clause