clause_eval.h

# #include "clause_eval.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File clause_eval.c

#### Index

compile_clause_eval_rule | eval_clause_in_rule | rule_contains_semantics | zap_clause_eval_rule

#### Details

    Clause_eval compile_clause_eval_rule(Term t);

    BOOL eval_clause_in_rule(Topform c, Clause_eval p);

The following properties have fields in the clause, and if they hold, those flags should already be set: matches_hint, weight, semantics.

    BOOL rule_contains_semantics(Clause_eval p);

    void zap_clause_eval_rule(Clause_eval p);

## Public Definitions in File clause_eval.h

    typedef struct clause_eval *Clause_eval;

## Introduction