#include "clauseid.h"

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

Contents

Public Routines in File clauseid.c

Index

assign_clause_idclause_plist_memberfprint_clause_id_tabp_clause_id_tab
clause_ids_assignedfind_clause_by_idinsert_clause_into_plistunassign_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