Searched defs:dnf (Results 1 – 2 of 2) sorted by relevance
880 formula dnf = decompose_antecedents (lhs); in subsumes_constraints_nonnull() local
1122 Filter *andf = NULL, *dnf, *urif, *orf = NULL; in dynlist_filter_dyngroup() local1206 Filter *dnf, *orf = NULL; in dynlist_filter_stgroup() local