Rechercher une page de manuel
log
Langue: en
Version: October 1, 1997 (fedora - 04/07/09)
Section: 1 (Commandes utilisateur)
NAME
log - logical representations for boolean functions and utilities.man2html: unable to open or read file man1/alc_origin.1
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 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 separatly. 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 - FRANCETHANKS
Thanks to P. REMY, F. PETROT, P. ALLEGRE and N. DICTUS.man2html: unable to open or read file man1/alc_bug_report.1
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre