#include "bsub_conflict.h"

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

Contents


Public Routines in File bsub_conflict.c

Index

back_subsumptionbsub_indexunit_conflict
bsub_destroy_indexinit_bsub_index

Details


Plist back_subsumption(Clause c);

void bsub_destroy_index(void);

void bsub_index(Clause c, Indexop op);

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

Clause unit_conflict(Clause c);

Public Definitions in File bsub_conflict.h


Introduction


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