first_maximal_literal_of_sign | mark_maximal_literals | maximal_literal_test | minimal_neg_literal_test |
init_maximal | maximal_literal_check | maximal_literals |
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.