LinuxGuruz
  • Last 5 Forum Topics
    Replies
    Views
    Last post


The Web Only This Site
  • BOOKMARK

  • ADD TO FAVORITES

  • REFERENCES


  • MARC

    Mailing list ARChives
    - Search by -
     Subjects
     Authors
     Bodies





    FOLDOC

    Computing Dictionary




  • Text Link Ads






  • LINUX man pages
  • Linux Man Page Viewer


    The following form allows you to view linux man pages.

    Command:

    log

    
    
    
    

    ORIGIN

           This software belongs to the  AALLLLIIAANNCCEE CCAADD SSYYSSTTEEMM developed by the ASIM
           team at LIP6 laboratory of Universite Pierre et Marie CURIE, in  Paris,
           France.
    
           Web : http://asim.lip6.fr/recherche/alliance/
           E-mail : alliance-users@asim.lip6.fr
    
    
    

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

    THANKS

           Thanks to P. REMY, F. PETROT, P. ALLEGRE and N. DICTUS.
    
    
    

    BUG REPORT

           This tool is under development at the ASIM department of the LIP6 labo-
           ratory.
           We need your feedback to improve documentation and tools.
    
    
  • MORE RESOURCE


  • Linux

    The Distributions





    Linux

    The Software





    Linux

    The News



  • MARKETING






  • Toll Free

webmaster@linuxguruz.com
Copyright © 1999 - 2016 by LinuxGuruz