#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