#include "maximal.h"

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

Contents


Public Routines in File maximal.c

Index

mark_non_maximal_literalsmaximal_literal

Details


void mark_non_maximal_literals(Clause c);

BOOL maximal_literal(Literal lit);

Public Definitions in File maximal.h


Introduction


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