#include "maximal.h"

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

Contents


Public Routines in File maximal.c

Index

first_maximal_literal_of_signmark_maximal_literalsmaximal_literal_testminimal_neg_literal_test
init_maximalmaximal_literal_checkmaximal_literals

Details


Literals first_maximal_literal_of_sign(Literals lits, BOOL sign);

void init_maximal(void);

void mark_maximal_literals(Literals lits);

BOOL maximal_literal_check(Literals lit);
Check if a literal is maximal in the clause that contains it. This only checks a flag. It does not compute maximality.
BOOL maximal_literal_test(Literals lits, Literals lit);
Test if a literal is maximal in a clause (w.r.t. others literals of the same sign). This version does not use a flag.
int maximal_literals(Literals lits);
Return the number of maximal literals. This checks a flag only.
BOOL minimal_neg_literal_test(Literals lits, Literals lit);
Test if a literal is a minimal negative literal. This version does not use a flag.

Public Definitions in File maximal.h


Introduction