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 /man3/libnormalform_to_string.3 | |
| parent | First commit (diff) | |
| download | libnormalform-master.tar.gz libnormalform-master.tar.bz2 libnormalform-master.tar.xz | |
Signed-off-by: Mattias Andrée <m@maandree.se>
Diffstat (limited to '')
| -rw-r--r-- | man3/libnormalform_to_string.3 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man3/libnormalform_to_string.3 b/man3/libnormalform_to_string.3 index 7008990..2150a10 100644 --- a/man3/libnormalform_to_string.3 +++ b/man3/libnormalform_to_string.3 @@ -62,7 +62,7 @@ The .BR libnormalform_to_string () function fails if: .TP -.I ENOMEM +.B ENOMEM Insufficient memory was available to serialise the sentence object. @@ -93,7 +93,7 @@ When a .I LIBNORMALFORM_SENTENCE is created, it is optimised (this includes eliminiation of redundant information and reordering) and reduced to -into fewer types of connetives (it's reducted into negation +into fewer types of connetives (it's reduced into negation normal form, except with XOR allowed, but not necessarily to any canonical form) during construction, so the .BR libnormalform_to_string () |