index
:
libnormalform
master
Work in progress
Mattias Andrée <m@maandree.se>
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
man3
Mode
Name
Size
l---------
LIBNORMALFORM_AND.3
->
libnormalform_and.3
19
log
stats
plain
blame
l---------
LIBNORMALFORM_IF.3
->
libnormalform_if.3
18
log
stats
plain
blame
l---------
LIBNORMALFORM_IMPLY.3
->
libnormalform_imply.3
21
log
stats
plain
blame
l---------
LIBNORMALFORM_NAND.3
->
libnormalform_nand.3
20
log
stats
plain
blame
l---------
LIBNORMALFORM_NIF.3
->
libnormalform_nif.3
19
log
stats
plain
blame
l---------
LIBNORMALFORM_NIMPLY.3
->
libnormalform_nimply.3
22
log
stats
plain
blame
l---------
LIBNORMALFORM_NOR.3
->
libnormalform_nor.3
19
log
stats
plain
blame
l---------
LIBNORMALFORM_OR.3
->
libnormalform_or.3
18
log
stats
plain
blame
-rw-r--r--
LIBNORMALFORM_SENTENCE.3
1663
log
stats
plain
blame
l---------
LIBNORMALFORM_XNOR.3
->
libnormalform_xnor.3
20
log
stats
plain
blame
l---------
LIBNORMALFORM_XOR.3
->
libnormalform_xor.3
19
log
stats
plain
blame
l---------
enum_libnormalform_builtin_transformer.3
->
struct_libnormalform_transformer.3
34
log
stats
plain
blame
l---------
enum_libnormalform_value.3
->
struct_libnormalform_variable.3
31
log
stats
plain
blame
-rw-r--r--
libnormalform_all.3
4148
log
stats
plain
blame
-rw-r--r--
libnormalform_and.3
5505
log
stats
plain
blame
l---------
libnormalform_and2.3
->
libnormalform_and_checked.3
27
log
stats
plain
blame
l---------
libnormalform_and_checked.3
->
libnormalform_and.3
19
log
stats
plain
blame
l---------
libnormalform_andl.3
->
libnormalform_and.3
19
log
stats
plain
blame
l---------
libnormalform_andl_checked.3
->
libnormalform_and_checked.3
27
log
stats
plain
blame
-rw-r--r--
libnormalform_any.3
6096
log
stats
plain
blame
l---------
libnormalform_builtin_transformer.3
->
enum_libnormalform_builtin_transformer.3
40
log
stats
plain
blame
-rw-r--r--
libnormalform_clone.3
1994
log
stats
plain
blame
l---------
libnormalform_empty.3
->
libnormalform_any.3
19
log
stats
plain
blame
-rw-r--r--
libnormalform_evaluate.3
1680
log
stats
plain
blame
l---------
libnormalform_existentially.3
->
libnormalform_any.3
19
log
stats
plain
blame
l---------
libnormalform_exists.3
->
libnormalform_any.3
19
log
stats
plain
blame
-rw-r--r--
libnormalform_false.3
1351
log
stats
plain
blame
-rw-r--r--
libnormalform_free.3
1377
log
stats
plain
blame
-rw-r--r--
libnormalform_from_string.3
7711
log
stats
plain
blame
-rw-r--r--
libnormalform_function.3
3229
log
stats
plain
blame
-rw-r--r--
libnormalform_if.3
5398
log
stats
plain
blame
l---------
libnormalform_if2.3
->
libnormalform_if_checked.3
26
log
stats
plain
blame
l---------
libnormalform_if_checked.3
->
libnormalform_if.3
18
log
stats
plain
blame
l---------
libnormalform_ifl.3
->
libnormalform_if.3
18
log
stats
plain
blame
l---------
libnormalform_ifl_checked.3
->
libnormalform_if_checked.3
26
log
stats
plain
blame
-rw-r--r--
libnormalform_imply.3
5702
log
stats
plain
blame
l---------
libnormalform_imply2.3
->
libnormalform_imply_checked.3
29
log
stats
plain
blame
l---------
libnormalform_imply_checked.3
->
libnormalform_imply.3
21
log
stats
plain
blame
l---------
libnormalform_implyl.3
->
libnormalform_imply.3
21
log
stats
plain
blame
l---------
libnormalform_implyl_checked.3
->
libnormalform_imply_checked.3
29
log
stats
plain
blame
l---------
libnormalform_map.3
->
struct_libnormalform_map.3
26
log
stats
plain
blame
l---------
libnormalform_mapping.3
->
struct_libnormalform_mapping.3
30
log
stats
plain
blame
-rw-r--r--
libnormalform_nand.3
6195
log
stats
plain
blame
l---------
libnormalform_nand2.3
->
libnormalform_nand_checked.3
28
log
stats
plain
blame
l---------
libnormalform_nand_checked.3
->
libnormalform_nand.3
20
log
stats
plain
blame
l---------
libnormalform_nandl.3
->
libnormalform_nand.3
20
log
stats
plain
blame
l---------
libnormalform_nandl_checked.3
->
libnormalform_nand_checked.3
28
log
stats
plain
blame
l---------
libnormalform_nexists.3
->
libnormalform_exists.3
22
log
stats
plain
blame
-rw-r--r--
libnormalform_nif.3
5800
log
stats
plain
blame
l---------
libnormalform_nif2.3
->
libnormalform_nif_checked.3
27
log
stats
plain
blame
l---------
libnormalform_nif_checked.3
->
libnormalform_nif.3
19
log
stats
plain
blame
l---------
libnormalform_nifl.3
->
libnormalform_nif.3
19
log
stats
plain
blame
l---------
libnormalform_nifl_checked.3
->
libnormalform_nif_checked.3
27
log
stats
plain
blame
-rw-r--r--
libnormalform_nimply.3
5964
log
stats
plain
blame
l---------
libnormalform_nimply2.3
->
libnormalform_nimply_checked.3
30
log
stats
plain
blame
l---------
libnormalform_nimply_checked.3
->
libnormalform_nimply.3
22
log
stats
plain
blame
l---------
libnormalform_nimplyl.3
->
libnormalform_nimply.3
22
log
stats
plain
blame
l---------
libnormalform_nimplyl_checked.3
->
libnormalform_nimply_checked.3
30
log
stats
plain
blame
l---------
libnormalform_nonempty.3
->
libnormalform_any.3
19
log
stats
plain
blame
-rw-r--r--
libnormalform_nor.3
6000
log
stats
plain
blame
l---------
libnormalform_nor2.3
->
libnormalform_nor_checked.3
27
log
stats
plain
blame
l---------
libnormalform_nor_checked.3
->
libnormalform_nor.3
19
log
stats
plain
blame
l---------
libnormalform_norl.3
->
libnormalform_nor.3
19
log
stats
plain
blame
l---------
libnormalform_norl_checked.3
->
libnormalform_nor_checked.3
27
log
stats
plain
blame
-rw-r--r--
libnormalform_not.3
1647
log
stats
plain
blame
-rw-r--r--
libnormalform_one.3
5235
log
stats
plain
blame
-rw-r--r--
libnormalform_or.3
5475
log
stats
plain
blame
l---------
libnormalform_or2.3
->
libnormalform_or_checked.3
26
log
stats
plain
blame
l---------
libnormalform_or_checked.3
->
libnormalform_or.3
18
log
stats
plain
blame
l---------
libnormalform_orl.3
->
libnormalform_or.3
18
log
stats
plain
blame
l---------
libnormalform_orl_checked.3
->
libnormalform_or_checked.3
26
log
stats
plain
blame
-rw-r--r--
libnormalform_ref.3
2349
log
stats
plain
blame
l---------
libnormalform_representation_spec.3
->
struct_libnormalform_representation_spec.3
42
log
stats
plain
blame
l---------
libnormalform_sentence.3
->
struct_libnormalform_sentence.3
31
log
stats
plain
blame
l---------
libnormalform_singleton.3
->
libnormalform_one.3
19
log
stats
plain
blame
-rw-r--r--
libnormalform_to_string.3
2374
log
stats
plain
blame
-rw-r--r--
libnormalform_transformation.3
5621
log
stats
plain
blame
l---------
libnormalform_transformer.3
->
struct_libnormalform_transformer.3
34
log
stats
plain
blame
-rw-r--r--
libnormalform_true.3
1336
log
stats
plain
blame
l---------
libnormalform_unique.3
->
libnormalform_one.3
19
log
stats
plain
blame
l---------
libnormalform_uniquely.3
->
libnormalform_one.3
19
log
stats
plain
blame
l---------
libnormalform_universally.3
->
libnormalform_all.3
19
log
stats
plain
blame
l---------
libnormalform_value.3
->
enum_libnormalform_value.3
26
log
stats
plain
blame
l---------
libnormalform_vand.3
->
libnormalform_andl.3
20
log
stats
plain
blame
l---------
libnormalform_vand_checked.3
->
libnormalform_andl_checked.3
28
log
stats
plain
blame
-rw-r--r--
libnormalform_variable.3
2638
log
stats
plain
blame
l---------
libnormalform_vif.3
->
libnormalform_ifl.3
19
log
stats
plain
blame
l---------
libnormalform_vif_checked.3
->
libnormalform_ifl_checked.3
27
log
stats
plain
blame
l---------
libnormalform_vimply.3
->
libnormalform_implyl.3
22
log
stats
plain
blame
l---------
libnormalform_vimply_checked.3
->
libnormalform_implyl_checked.3
30
log
stats
plain
blame
l---------
libnormalform_vnand.3
->
libnormalform_nandl.3
21
log
stats
plain
blame
l---------
libnormalform_vnand_checked.3
->
libnormalform_nandl_checked.3
29
log
stats
plain
blame
l---------
libnormalform_vnif.3
->
libnormalform_nifl.3
20
log
stats
plain
blame
l---------
libnormalform_vnif_checked.3
->
libnormalform_nifl_checked.3
28
log
stats
plain
blame
l---------
libnormalform_vnimply.3
->
libnormalform_nimplyl.3
23
log
stats
plain
blame
l---------
libnormalform_vnimply_checked.3
->
libnormalform_nimplyl_checked.3
31
log
stats
plain
blame
l---------
libnormalform_vnor.3
->
libnormalform_norl.3
20
log
stats
plain
blame
l---------
libnormalform_vnor_checked.3
->
libnormalform_norl_checked.3
28
log
stats
plain
blame
l---------
libnormalform_vor.3
->
libnormalform_orl.3
19
log
stats
plain
blame
l---------
libnormalform_vor_checked.3
->
libnormalform_orl_checked.3
27
log
stats
plain
blame
l---------
libnormalform_vxnor.3
->
libnormalform_xnorl.3
21
log
stats
plain
blame
l---------
libnormalform_vxnor_checked.3
->
libnormalform_xnorl_checked.3
29
log
stats
plain
blame
l---------
libnormalform_vxor.3
->
libnormalform_xorl.3
20
log
stats
plain
blame
l---------
libnormalform_vxor_checked.3
->
libnormalform_xorl_checked.3
28
log
stats
plain
blame
-rw-r--r--
libnormalform_xnor.3
6078
log
stats
plain
blame
l---------
libnormalform_xnor2.3
->
libnormalform_xnor_checked.3
28
log
stats
plain
blame
l---------
libnormalform_xnor_checked.3
->
libnormalform_xnor.3
20
log
stats
plain
blame
l---------
libnormalform_xnorl.3
->
libnormalform_xnor.3
20
log
stats
plain
blame
l---------
libnormalform_xnorl_checked.3
->
libnormalform_xnor_checked.3
28
log
stats
plain
blame
-rw-r--r--
libnormalform_xor.3
5872
log
stats
plain
blame
l---------
libnormalform_xor2.3
->
libnormalform_xor_checked.3
27
log
stats
plain
blame
l---------
libnormalform_xor_checked.3
->
libnormalform_xor.3
19
log
stats
plain
blame
l---------
libnormalform_xorl.3
->
libnormalform_xor.3
19
log
stats
plain
blame
l---------
libnormalform_xorl_checked.3
->
libnormalform_xor_checked.3
27
log
stats
plain
blame
l---------
struct_libnormalform_function.3
->
libnormalform_function.3
24
log
stats
plain
blame
l---------
struct_libnormalform_map.3
->
libnormalform_any.3
19
log
stats
plain
blame
l---------
struct_libnormalform_mapping.3
->
struct_libnormalform_map.3
26
log
stats
plain
blame
l---------
struct_libnormalform_representation_spec.3
->
libnormalform_from_string.3
27
log
stats
plain
blame
l---------
struct_libnormalform_sentence.3
->
LIBNORMALFORM_SENTENCE.3
24
log
stats
plain
blame
l---------
struct_libnormalform_transformer.3
->
libnormalform_transformation.3
30
log
stats
plain
blame
l---------
struct_libnormalform_variable.3
->
libnormalform_variable.3
24
log
stats
plain
blame