From 4294ec0ed06ee34920c9edaeebaeb8b65c720791 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Fri, 19 Jul 2024 01:29:42 +0200
Subject: First commit
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@kth.se>
---
 man3/libnormalform_false.3 | 70 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 70 insertions(+)
 create mode 100644 man3/libnormalform_false.3

(limited to 'man3/libnormalform_false.3')

diff --git a/man3/libnormalform_false.3 b/man3/libnormalform_false.3
new file mode 100644
index 0000000..83dd97a
--- /dev/null
+++ b/man3/libnormalform_false.3
@@ -0,0 +1,70 @@
+.TH LIBNORMALFORM_FALSE 3 LIBNORMALFORM
+.SH NAME
+libnormalform_false \- Contradiction
+
+.SH SYNOPSIS
+.nf
+#include <libnormalform.h>
+
+LIBNORMALFORM_SENTENCE *libnormalform_false(void);
+.fi
+.PP
+Link with
+.IR -lnormalform .
+
+.SH DESCRIPTION
+The
+.BR libnormalform_false ()
+function creates a contradictory sentence:
+a sentence that is always false, regardless
+of the its containing formula's input.
+.PP
+The returned pointer shall either be
+deallocated with the
+.BR libnormalform_free (3)
+function or be relinquished by being
+used as part of another sentence.
+
+.SH RETURN VALUE
+Upon successful completion, the
+.BR libnormalform_false ()
+function returns an object representing
+the sentence; otherwise, the function returns
+.I NULL
+and sets
+.I errno
+to indicate the error.
+
+.SH ERRORS
+The
+.BR libnormalform_false ()
+function fails if:
+.TP
+.I ENOMEM
+Insufficient memory was available to
+create the sentence object.
+
+.SH ATTRIBUTES
+For an explanation of the terms used in this
+section, see
+.BR attributes (7)
+and
+.IR "info \(dq(libc)POSIX Safety Concepts\(dq" .
+.TS
+allbox;
+lb lb lb
+l l l.
+Interface	Attribute	Value
+T{
+.BR libnormalform_false ()
+T}	Thread safety	MT-Safe
+T{
+.BR libnormalform_false ()
+T}	Async-signal safety	AS-Unsafe heap
+T{
+.BR libnormalform_false ()
+T}	Async-cancel safety	AC-Safe mem, AC-Unsafe heap
+.TE
+
+.SH SEE ALSO
+.BR libnormalform (7)
-- 
cgit v1.3.1