InglêsFrancêsEspanhol

Ad


favicon do OnWorks

log - Online na nuvem

Execute o log no provedor de hospedagem gratuita OnWorks no Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS

Este é o log de comando que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS

PROGRAMA:

NOME


log - representações lógicas para funções e utilitários booleanos.

DESCRIÇÃO


log é um conjunto de estruturas e funções que permite manipular vários
representações de funções booleanas. Vários programas e bibliotecas do cao-vlsi cair
ferramentas descansar no log pacote. Três tipos diferentes de funções estão disponíveis para:

Gerenciamento de tabela de hash

Representação com prefixo para funções booleanas

Representação de diagramas de decisão binários ordenados

EXEMPLO


Vamos supor que a versão real do mbk seja 'nnn'. Para usar o log, libMutnnn.a biblioteca
deve ser chamado.
makefile:
CABEÇALHO = -I / labo / incluir
LIB = -L / labo / lib -lMut -ltsh -labl -lbdd
Cada biblioteca pode ser chamada separadamente. O arquivo de cabeçalho "log.h" deve ser inserido no
arquivos que usam as funções ou as estruturas definidas em uma biblioteca.

Use o registro online usando os serviços onworks.net


Servidores e estações de trabalho gratuitos

Baixar aplicativos Windows e Linux

  • 1
    Avogadro
    Avogadro
    Avogadro é um avançado molecular
    editor projetado para uso multiplataforma
    em química computacional, molecular
    modelagem, bioinformática, materiais
    Ciência e ...
    Baixar Avogadro
  • 2
    XMLTV
    XMLTV
    XMLTV é um conjunto de programas para processar
    Listagens de TV (tvguide) e ajuda a gerenciar
    sua exibição de TV, armazenando listagens em um
    Formato baseado em XML. Existem utilitários para
    Faz...
    Baixar XMLTV
  • 3
    greve
    greve
    Projeto Strikr Software Livre. Artefatos
    lançado sob uma 'intenção baseada'
    licença dupla: AGPLv3 (comunidade) e
    CC-BY-NC-ND 4.0 internacional
    (comercial)...
    Baixar strikr
  • 5
    GIFLIB
    GIFLIB
    giflib é uma biblioteca para leitura e
    escrevendo imagens gif. É API e ABI
    compatível com libungif que estava em
    uso amplo enquanto a compressão LZW
    algoritmo foi...
    Baixar GIFLIB
  • 6
    Alt-F
    Alt-F
    Alt-F fornece um código-fonte livre e aberto
    firmware alternativo para o DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F tem Samba e NFS;
    suporta ext2 / 3/4 ...
    Baixar Alt-F
  • Mais "

Comandos Linux

  • 1
    2ping6
    2ping6
    2ping - Um utilitário de ping bidirecional ...
    Executar 2ping6
  • 2
    2 a 3
    2 a 3
    2to3-2.7 - conversor de Python2 para Python3
    ...
    Corra 2to3-2.7
  • 3
    cpqarrayd
    cpqarrayd
    cpqarrayd - Controlador de array
    daemon de monitoramento SINTAXE: cpqarrayd [-d]
    [-v] [-t host [-t host]] DESCRIÇÃO:
    Este programa é capaz de monitorar HP
    (Compaq) ar...
    Executar cpqarrayd
  • 4
    cproto
    cproto
    cproto - gera protótipos de função C
    e converter definições de função...
    Executar cproto
  • 5
    correção gapi2
    correção gapi2
    não documentado - Nenhuma página de manual para isso
    programa. DESCRIÇÃO: Este programa faz
    não tem uma página de manual. Execute este comando
    com o interruptor de ajuda para ver o que
    faz. Para f...
    Executar gapi2-fixup
  • 6
    analisador gapi2
    analisador gapi2
    não documentado - Nenhuma página de manual para isso
    programa. DESCRIÇÃO: Este programa faz
    não tem uma página de manual. Execute este comando
    com o interruptor de ajuda para ver o que
    faz. Para f...
    Execute o analisador gapi2
  • Mais "

Ad