# log.1alc - Man Page

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 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.

## Referenced By

abl.1alc(1), ablToBddCct.3alc(3), addListBdd.3alc(3), applyBdd.3alc(3), applyBinBdd.3alc(3), bddToAblCct.3alc(3), composeBdd.3alc(3), constraintBdd.3alc(3), createNodeTermBdd.3alc(3), destroyBdd.3alc(3), displayBdd.3alc(3), gcNodeBdd.3alc(3), git-cola(1), initializeBdd.3alc(3), markAllBdd.3alc(3), markBdd.3alc(3), notBdd.3alc(3), numberNodeAllBdd.3alc(3), numberNodeBdd.3alc(3), resetBdd.3alc(3), simplifDcOneBdd.3alc(3), simplifDcZeroBdd.3alc(3), supportChain_listBdd.3alc(3), upVarBdd.3alc(3).