diff options
| author | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
|---|---|---|
| committer | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
| commit | 77ade8d20906fe9ca2cf6788ff1e1437e0912868 (patch) | |
| tree | 61495e90e057bf792bb1d8ce157cef0ecc2ab696 /libnormalform_clause_cmp__.c | |
| parent | First commit (diff) | |
| download | libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.gz libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.bz2 libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.xz | |
Signed-off-by: Mattias Andrée <m@maandree.se>
Diffstat (limited to 'libnormalform_clause_cmp__.c')
| -rw-r--r-- | libnormalform_clause_cmp__.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/libnormalform_clause_cmp__.c b/libnormalform_clause_cmp__.c new file mode 100644 index 0000000..407ea11 --- /dev/null +++ b/libnormalform_clause_cmp__.c @@ -0,0 +1,24 @@ +/* See LICENSE file for copyright and license details. */ +#include "common.h" +#ifndef TEST + + +int +(libnormalform_clause_cmp__)(struct expression *a, struct expression *b) +{ + size_t i = 0, j = 0, n = a->nterms, m = b->nterms; + int cmp; + for (; i < n && j < m; i++, j++) { + cmp = libnormalform_literal_cmp__(a->terms[i], b->terms[j]); + if (cmp) + return cmp; + } + return (i < n) - (j < m); +} + + +#else + +TODO_TEST + +#endif |