#include "clauseid.h"

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

Contents


Public Routines in File clauseid.c

Index

assign_clause_idfind_clause_by_idhas_clause_idp_clause_id_tab
clause_ids_assignedfprint_clause_id_tabinsert_clause_into_plistunassign_clause_id

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()).
int clause_ids_assigned(void);
What is the most recently assigned clause 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.
Plist insert_clause_into_plist(Plist p, Clause 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(Clause 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


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