#include "features.h"
This page has information from files
features.h and features.c.
Contents
Public Routines in File features.c
Index
Details
int feature_length(void);
Ilist features(Literals lits);
Given a clause, build the feature vector.
Features:
  positive literals
  negative literals
  foreach relation symbol
     positive occurrences
     negative occurrences
  foreach function symbol
     positive occurrences
     negative occurrences
     positive maxdepth
     negative maxdepth
BOOL features_less_or_equal(Ilist c, Ilist d);
Return TRUE if Ilists c and d are thr same length and
each member of c is <= the corresponding member of d.
void init_features(Ilist fsyms, Ilist rsyms);
void p_features(Ilist f);
Public Definitions in File features.h
Introduction