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 libraries of the cao-vlsi cad tools rest on the log package. Three different kind of func- tions 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, lib- Mutnnn.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 in- serted 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.1.quarterly>