#include "clauseid.h"

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

Contents


Public Routines in File clauseid.c

Index

assign_clause_idfprint_clause_id_tabinsert_clause_into_glistunassign_clause_id
find_clause_by_idhas_clause_idp_clause_id_tab

Details


void assign_clause_id(Clause 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()).
Clause 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.
BOOL has_clause_id(Clause c);
This function checks if a clause has been assigned an ID.
Glist insert_clause_into_glist(Glist p, Clause c, BOOL increasing);
This routine inserts a clause into a sorted (by ID) Glist of clauses. Boolean paramemeter "increasing" tells whether the list is increasing or decreasing. The updated Glist 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(Clause c);
This routine removes a clause from the ID hash table.

Public Definitions in File clauseid.h


Introduction


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.