#include "detach.h"

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

Contents


Public Routines in File detach.c

Index

cond_detach

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.