abl - Online na nuvem

PROGRAMA:

NOME

abl - Representação prefixada para funções booleanas

DESCRIÇÃO

libablmmm.a é uma biblioteca que permite representar uma função booleana em um formato semelhante ao LISP.
Um ABL é uma representação interna prefixada para uma função booleana com padrão
operadores como OR, NOR, NAND, XOR, NOT e AND. Um ABL é composto apenas de dupletos. Um doublet é
composto por dois campos que são acessíveis pelo funcional #define CARRO e CDR. UMA
dupleto é implementado com um MBK lista_cadeia.
Expressão é o termo genérico para uma função booleana representada por um ABL. Uma expressão
pode ser uma expressão atômica ou uma expressão de operador. A função f = a é representado
por uma expressão atômica enquanto f = (ou a b) é representado por uma expressão de operador. Um
a expressão atômica é composta de um único dupleto com o PRÓXIMA ponteiro igual a NULL e
DADOS ponteiro igual ao ponteiro do identificador. Uma expressão atômica constante é uma expressão atômica
expressão tendo a string "'0'" ou "'1'" como identificador.
Uma expressão de operador é mais complicada do que uma expressão atômica. É uma lista de
itens, o primeiro item é o operador principal da expressão e os seguintes itens são
os argumentos da expressão. É possível percorrer os argumentos chamando o
funcional #define CDR. Então, cada argumento é acessível pelo funcional #define CARRO.
Um argumento pode ser recursivamente uma expressão atômica ou de operador. A aridade de um
expressão do operador é o número de argumentos do primeiro nível.
As funções são divididas em dois grupos, as funções de baixo nível são escritas com #define
e são usados ​​para gerenciar o formulário interno ABL, as funções de alto nível são usadas para gerenciar
as expressões booleanas. Todas as funções são definidas no arquivo "prefbib.c" (#define in
"logmmm.h").

Funcional #define

ATOM - verifica o tipo de uma expressão (expressão atômica ou de operador).

CARRO - retorna o DADOS ponteiro de um dupleto.

CAD - retorna o DADOS ponteiro do PRÓXIMA ponteiro de um dupleto.

CDR - retorna o PRÓXIMA ponteiro de um dupleto.

OPERADOR - retorna o número do operador de uma expressão de operador.

VALUE_ATOM - retorna o associado carbonizar * de uma expressão atômica.

Funções e procedimentos

adicionarHExpr - adiciona um novo argumento no início de uma expressão de operador.

addQExpr - adiciona novos argumentos na fila de uma expressão do operador.

qualquerExpr - retorna o valor de um OR lógico aplicado aos resultados do
aplicação de uma função nos argumentos de uma expressão de operador.

alterarOperExpr - muda o operador do cabeçalho de uma expressão.

charToOper - converte uma string de operador em um número de operador.

cópiaExpr - copia uma expressão.

criarAtom - cria uma expressão atômica.

criarBinExpr - cria uma expressão de operador binário com uma eventual fusão do
operador.

criarExpr - cria o cabeçalho de uma expressão de operador.

deleteNumExpr - remove o i-ésimo argumento em uma expressão de operador.

devXor2Expr - converte XOR 2 em OR-AND.

devXorExpr - remove o XOR em uma expressão.

displayExpr - exibe uma expressão em uma notação prefixada.

exibirInfExpr - exibe uma expressão em notação infixada.

igualExpr - verifica se duas expressões são estritamente iguais.

igualVarExpr - verifica se duas expressões são sintaticamente iguais.

cadaExpr - retorna o valor de um AND lógico aplicado aos resultados do
aplicação de uma função nos argumentos de uma expressão de operador.

exprToChar - converte uma expressão em uma string.

charToExpr - converte uma string em uma expressão.

flatArityExpr - nivela os operadores de uma expressão.

planaPolaridadeExpr - traduz os inversores de uma expressão para o nível atômico
expressões.

grátisExpr - libera uma expressão.

identExpr - fornece um identificador de uma expressão de operador.

comprimentoExpr - retorna o número de argumentos em uma expressão.

mapCarExpr - cria uma nova expressão aplicando uma função a todos os argumentos de
uma expressão de operador.

mapExpr - aplica um procedimento a todos os argumentos de uma expressão de operador.

maxExpr - retorna o argumento mais alto de uma expressão de operador.

minExpr - retorna o argumento mais baixo de uma expressão de operador.

normaExpr - normaliza uma expressão.

nãoExpr - complementa uma expressão e eventualmente faz uma simplificação.

númeroAtomExpr - retorna o número de átomos em uma expressão.

númeroOccExpr - retorna o número de vezes que um átomo aparece em uma expressão.

númeroOperBinExpr - retorna o número de operadores binários equivalentes em uma expressão.

operToChar - converte um número de operador em uma string de operador.

profExpr - retorna a profundidade de uma expressão.

profAOExpr - retorna a profundidade de uma expressão sem levar os inversores para
conta.

searchExpr - procura por um átomo específico em uma expressão.

searchNumExpr - busca o i-ésimo argumento em uma expressão de operador.

searchOperExpr - procura um operador em uma expressão.

simplif10Expr - simplifica uma expressão incluindo constante atômica
expressões.

simplifNotExpr - faz simplificações em uma expressão incluindo inversores.

sortExpr - classifica uma expressão.

subexpr - copia uma expressão substituindo um dado átomo por uma expressão.

substPhyExpr - substitui uma expressão atômica por uma expressão dentro de um
expressão.

suporteChain_listExpr
- retorna o suporte de uma expressão em um lista_cadeia.

suportePtype_listExpr
- retorna o suporte de uma expressão em um ptype_list.

wPMExpr - retorna 1 se a correspondência de padrões for possível entre dois
expressões.

Use abl online usando serviços onworks.net