features.h

# #include "features.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File features.c

#### Index

feature_length | features_less_or_equal | p_features |
features | init_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