clauseid.h

# #include "clauseid.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File clauseid.c

#### Index

assign_clause_id | clause_plist_member | fprint_clause_id_tab | p_clause_id_tab
clause_ids_assigned | find_clause_by_id | insert_clause_into_plist | unassign_clause_id

#### Details

    void assign_clause_id(Topform c);

This routine assigns a unique identifier to the id field of a clause. It also inserts the clause into a hash table so that given an id number, the corresponding clause can be retrieved quickly (see find_clause_by_id()).

    int clause_ids_assigned(void);

What is the most recently assigned clause ID?

    BOOL clause_plist_member(Plist p, Topform c, BOOL increasing);

This routine checks if a clause occurs in a sorted (by ID) Plist of clauses. Boolean paramemeter "increasing" tells whether the list is increasing or decreasing.

    Topform find_clause_by_id(int id);

This routine retrieves the clause with the given ID number (or NULL, if there is no such clause).

    void fprint_clause_id_tab(FILE *fp);

This routine prints (to FILE *fp) all the clauses in the ID hash table.

    Plist insert_clause_into_plist(Plist p, Topform c, BOOL increasing);

This routine inserts a clause into a sorted (by ID) Plist of clauses. Boolean paramemeter "increasing" tells whether the list is increasing or decreasing. The updated Plist is returned. If the clause is already there, nothing happens.

    void p_clause_id_tab();

This routine prints (to stdout) all the clauses in the ID hash table.

    void unassign_clause_id(Topform c);

This routine removes a clause from the ID hash table and resets the ID of the clause to 0. A fatal error occurs if the clause has not been assigned an ID.

## Public Definitions in File clauseid.h

## Introduction