#include "features.h"

This page has information from files features.h and features.c.

Contents

Public Routines in File features.c

Index

feature_lengthfeatures_less_or_equalp_features
featuresinit_features

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