#include "forward_subsume.h"

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

Contents


Public Routines in File forward_subsume.c

Index

forward_subsumptionfsub_indexunit_deletion
fsub_destroy_indexinit_fsub_index

Details


Clause forward_subsumption(Clause c);

void fsub_destroy_index(void);

void fsub_index(Clause c, Indexop op);

void init_fsub_index(Mindextype mtype,
		     Uniftype utype,
		     int fpa_depth);

void unit_deletion(Clause c);

Public Definitions in File forward_subsume.h


Introduction


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