FreeBSD Manual Pages
LOG(1) cao-vlsi reference manual LOG(1) NAME log - logical representations for boolean functions and utilities. DESCRIPTION log is a set of structures and functions that permits to manipulate several representations of boolean functions. Several programs and li- braries of the cao-vlsi cad tools rest on the log package. Three dif- ferent kind of functions are available for: Hash table management Prefixed representation for boolean functions Ordered binary decision diagrams representation EXAMPLE Let's suppose that actual mbk version is 'nnn'. In order to use log, libMutnnn.a library must be called. makefile: HEADER = -I/labo/include LIB = -L/labo/lib -lMut -ltsh -labl -lbdd Each library can be called separately. The "log.h" header file must be inserted in the files that use the functions or the structures defined in a library. SEE ALSO mbk(1), beh(1), AUTHOR L. BURGUN salle 30 T. 55-65 Universite P&M Curie - 4 pl. Jussieu - FRANCE THANKS Thanks to P. REMY, F. PETROT, P. ALLEGRE and N. DICTUS. ASIM/LIP6 October 1, 1997 LOG(1)
NAME | DESCRIPTION | EXAMPLE | SEE ALSO | AUTHOR | THANKS
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=log&sektion=1&manpath=FreeBSD+Ports+15.0>