IngleseFranceseSpagnolo

Ad


Favicon di OnWorks

log - Online nel cloud

Esegui l'accesso al provider di hosting gratuito OnWorks su Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS

Questo è il registro dei comandi che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici postazioni di lavoro online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS

PROGRAMMA:

NOME


ceppo - rappresentazioni logiche per funzioni e utilità booleane.

DESCRIZIONE


ceppo è un insieme di strutture e funzioni che permette di manipolare diversi
rappresentazioni di funzioni booleane. Diversi programmi e librerie del cao-vlsi mascalzone
strumenti riposare sul ceppo pacchetto. Sono disponibili tre diversi tipi di funzioni per:

Gestione della tabella hash

Rappresentazione prefissata per funzioni booleane

Rappresentazione ordinata di diagrammi decisionali binari

ESEMPIO


Supponiamo che la versione attuale di mbk sia 'nnn'. Per utilizzare il registro, libMutnnn.a biblioteca
deve essere chiamato.
makefile:
INTESTAZIONE = -I/labo/includi
LIB = -L/labo/lib -lMut -ltsh -labl -lbdd
Ogni libreria può essere chiamata separatamente. Il file di intestazione "log.h" deve essere inserito nel file
file che utilizzano le funzioni o le strutture definite in una libreria.

Usa log online utilizzando i servizi onworks.net


Server e workstation gratuiti

Scarica app per Windows e Linux

  • 1
    Avogadro
    Avogadro
    Avogadro è un molecolare avanzato
    editor progettato per l'uso multipiattaforma
    in chimica computazionale, molecolare
    modellistica, bioinformatica, materiali
    scienza e...
    Scarica Avogadro
  • 2
    XML TV
    XML TV
    XMLTV è un insieme di programmi da elaborare
    Elenchi TV (tvguide) e aiuto nella gestione
    la visione della TV, memorizzando gli elenchi in un
    Formato basato su XML. Ci sono utilità per
    fare...
    Scarica XMLTV
  • 3
    sciopero
    sciopero
    Progetto Strikr Software Libero. Artefatti
    rilasciato sotto un 'intent based'
    doppia licenza: AGPLv3 (community) e
    CC-BY-NC-ND 4.0 internazionale
    (commerciale)...
    Scarica striker
  • 5
    GIFLIB
    GIFLIB
    giflib è una libreria per la lettura e
    scrivere immagini gif. È API e ABI
    compatibile con libungif che era in
    ampio uso mentre la compressione LZW
    l'algoritmo era...
    Scarica GIFLIB
  • 6
    Alt-Fa
    Alt-Fa
    Alt-F fornisce una fonte gratuita e open
    firmware alternativo per il DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F ha Samba e NFS;
    supporta ext2/3/4...
    Scarica Alt-F
  • Di Più "

Comandi Linux

  • 1
    2ping6
    2ping6
    2ping - Un'utilità ping bidirezionale ...
    Esegui 2ping6
  • 2
    2-3-2.7
    2-3-2.7
    2to3-2.7 - Convertitore da Python2 a Python3
    ...
    Corri da 2 a 3-2.7
  • 3
    cpqarrayd
    cpqarrayd
    cpqarrayd - Controllore di array
    demone di monitoraggio SINTASSI: cpqarrayd [-d]
    [-v] [-t host [-t host]] DESCRIZIONE:
    Questo programma è in grado di monitorare HP
    (Compaq) ar...
    Eseguire cpqarrayd
  • 4
    cproto
    cproto
    cproto - genera prototipi di funzioni C
    e convertire le definizioni delle funzioni...
    Esegui cproto
  • 5
    gapi2-riparazione
    gapi2-riparazione
    undocumented - Nessuna manpage per questo
    programma. DESCRIZIONE: Questo programma fa
    non avere una manpage. Esegui questo comando
    con l'aiuto passare per vedere di cosa si tratta
    fa. Per f...
    Eseguire gapi2-fixup
  • 6
    gapi2-parser
    gapi2-parser
    undocumented - Nessuna manpage per questo
    programma. DESCRIZIONE: Questo programma fa
    non avere una manpage. Esegui questo comando
    con l'aiuto passare per vedere di cosa si tratta
    fa. Per f...
    Eseguire gapi2-parser
  • Di Più "

Ad