blob: 83dd97a3184cdbd00f277738f5b3d0c797aac2d9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
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)
|
