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
|
BoolStuff - Disjunctive Normal Form boolean expression C++ library
LICENSE
Copyright (C) 2002-2016 Pierre Sarrazin <http://sarrazip.com/>
This program is free software distributed under the GNU GPL.
See the file COPYING.
Please note that this means that proprietary software may not
be linked with this library.
INTRODUCTION
BoolStuff is a small C++ library that supports a few operations on
boolean expression binary trees. The main features are:
- a boolean expression parser (supports operators AND, OR
and NOT, as well as parentheses);
- an algorithm to convert a boolean expression binary tree
into its Disjunctive Normal Form;
- a function that determines if an expression tree is in DNF.
A command named `booldnf' that calls this library is also provided.
See the BoolStuff Home Page:
http://sarrazip.com/dev/boolstuff.html
Manual pages (boolstuff.3 and booldnf.1) are provided.
INSTALLATION
This package is autoconfiscated. See INSTALL for details.
The sequence `./configure --prefix=SOME_PREFIX; make; make
install' should suffice.
USING THIS LIBRARY
The `examples' subdirectory of this source archive contains
an autoconfiscated example program that uses this library.
It assumes that the library has been installed.
There is also a Perl script (test-booldnf.pl) that shows how
to call the `booldnf' command from a bidirectional pipe.
|
