First commit

Signed-off-by: Mattias Andrée <maandree@kth.se>

1 files changed, 70 insertions, 0 deletions

diff --git a/man3/libnormalform_true.3 b/man3/libnormalform_true.3
new file mode 100644
index 0000000..a5da907
--- /dev/null
+++ b/man3/libnormalform_true.3
@@ -0,0 +1,70 @@
+.TH LIBNORMALFORM_TRUE 3 LIBNORMALFORM
+.SH NAME
+libnormalform_true \- Tautology
+
+.SH SYNOPSIS
+.nf
+#include <libnormalform.h>
+
+LIBNORMALFORM_SENTENCE *libnormalform_true(void);
+.fi
+.PP
+Link with
+.IR -lnormalform .
+
+.SH DESCRIPTION
+The
+.BR libnormalform_true ()
+function creates a tautological sentence:
+a sentence that is always true, 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_true ()
+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_true ()
+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_true ()
+T}	Thread safety	MT-Safe
+T{
+.BR libnormalform_true ()
+T}	Async-signal safety	AS-Unsafe heap
+T{
+.BR libnormalform_true ()
+T}	Async-cancel safety	AC-Safe mem, AC-Unsafe heap
+.TE
+
+.SH SEE ALSO
+.BR libnormalform (7)