#include "detach.h"
This page has information from files
detach.h and detach.c.
Contents
Public Routines in File detach.c
Index
Details
Glist cond_detach(Clause c1, Clause c2);
Public Definitions in File detach.h
Introduction
These activities are projects of the
Mathematics and Computer Science Division
of
Argonne National Laboratory.