abl - Online w chmurze

PROGRAM:

IMIĘ

abl - Reprezentacja z przedrostkiem dla funkcji logicznych

OPIS

libablmmm.a jest biblioteką, która umożliwia reprezentację funkcji logicznych w formie podobnej do LISP-a.
ABL to poprzedzona przedrostkiem wewnętrzna reprezentacja funkcji logicznej posiadającej standard
operatory takie jak OR,NOR,NAND,XOR,NOT i AND. ABL składa się tylko z dubletów. Dublet to
składa się z dwóch pól dostępnych dla funkcji funkcjonalnej #definiować SAMOCHÓD i CDR, ZA
dublet realizowany z MBK lista_łańcuchów.
Wyrażenie jest ogólnym terminem dla funkcji logicznej reprezentowanej przez ABL. Ekspresja
może być wyrażeniem niepodzielnym lub wyrażeniem operatora. Funkcja f = a jest reprezentowany
przez atomowe wyrażenie, podczas gdy f = (lub a b) jest reprezentowana przez wyrażenie operatora. jakiś
wyrażenie atomowe składa się z pojedynczego dubletu posiadającego Nastepna wskaźnik równy NULL i
DATA wskaźnik równy wskaźnikowi identyfikatora. Stałe wyrażenie atomowe to atomowe
wyrażenie zawierające ciąg "'0'" lub "'1'" jako identyfikator.
Wyrażenie operatora jest bardziej skomplikowane niż wyrażenie niepodzielne. To jest lista
elementów, pierwszy element jest głównym operatorem wyrażenia, a kolejne elementy są
argumenty wyrażenia. Można przejść przez argumenty, dzwoniąc
funkcjonalny #definiować CDR. Następnie każdy argument jest dostępny dla funkcji functionnal #definiować SAMOCHÓD.
Argument może być rekurencyjnie wyrażeniem niepodzielnym lub operatorem. Aryczność an
wyrażenie operatora to liczba argumentów pierwszego poziomu.
Funkcje są podzielone na dwie grupy, funkcje niskiego poziomu są zapisywane za pomocą #definiować
i służą do zarządzania wewnętrznym formularzem ABL, funkcje wysokiego poziomu służą do zarządzania
wyrażenia logiczne. Wszystkie funkcje są zdefiniowane w pliku "prefbib.c" (#definiować in
"logmmm.h").

Funkcjonalny #definiować

ATOM - sprawdza rodzaj wyrażenia (wyrażenie atomowe lub operatorowe).

SAMOCHÓD - zwraca DATA wskaźnik dubletu.

CADR - zwraca DATA wskaźnik Nastepna wskaźnik dubletu.

CDR - zwraca Nastepna wskaźnik dubletu.

OPER — zwraca numer operatora wyrażenia operatorowego.

WARTOŚĆ_ATOM - zwraca skojarzone zwęglać * wyrażenia atomowego.

Funkcje i procedury

dodajHEWyr - dodaje nowe argumenty na początku wyrażenia operatorowego.

dodaj QExpr - dodaje nowe argumenty w kolejce wyrażenia operatora.

dowolnyWyr - zwraca wartość logicznego OR zastosowanego na wynikach
zastosowanie funkcji na argumentach wyrażenia operatorowego.

ZmieńOperExpr - zmienia operator głowy wyrażenia.

charToOper - konwertuje ciąg operatora na numer operatora.

kopiaWyr - kopiuje wyrażenie.

utwórz atom - tworzy ekspresję atomową.

utwórzBinExpr - tworzy wyrażenie operatora binarnego z ewentualnym połączeniem
operator.

utwórz wyr - tworzy nagłówek wyrażenia operatorowego.

usuńLiczbawyr — usuwa i-ty argument w wyrażeniu operatora.

devXor2Expr - konwertuje XOR 2 na OR-AND.

devXorExpr - usuwa XOR z wyrażenia.

wyśw.wyświetl - wyświetla wyrażenie w notacji z przedrostkiem.

wyświetlInfWyr - wyświetla wyrażenie w notacji niefiksowanej.

równy Wyr - sprawdza, czy dwa wyrażenia są dokładnie równe.

równaVarExpr - sprawdza, czy dwa wyrażenia są składniowo równe.

każdyExpr - zwraca wartość logicznego AND zastosowanego do wyników
zastosowanie funkcji na argumentach wyrażenia operatorowego.

wyrażenieToChar — konwertuje wyrażenie na ciąg.

charToExpr — konwertuje ciąg na wyrażenie.

mieszkanieArityExpr - spłaszcza operatory wyrażenia.

płaskaPolaryzacjaExpr - tłumaczy inwertery wyrażenia na poziom atomowy
wyrażenia.

wolnyWyr - uwalnia ekspresję.

identExpr - podaje identyfikator z wyrażenia operatora.

długośćExpr — zwraca liczbę argumentów w wyrażeniu.

mapaCarExpr - tworzy nowe wyrażenie przez zastosowanie funkcji do wszystkich argumentów
wyrażenie operatora.

mapaWyr - stosuje procedurę do wszystkich argumentów wyrażenia operatorowego.

maxExpr — zwraca najwyższy argument wyrażenia operatorowego.

minWyr — zwraca najniższy argument wyrażenia operatorowego.

normaWyr - normalizuje ekspresję.

nieWyr - uzupełnia wyrażenie i ostatecznie upraszcza.

liczbaAtomExpr - zwraca liczbę atomów w wyrażeniu.

liczbaOccExpr — zwraca liczbę wystąpień atomu w wyrażeniu.

numerOperBinExpr - zwraca liczbę równoważnych operatorów binarnych w wyrażeniu.

operToChar — konwertuje numer operatora na ciąg operatora.

profExpr - zwraca głębię wyrażenia.

profAOExpr - zwraca głębię wyrażenia bez wprowadzania inwerterów w
konta.

szukajWyr - wyszukuje określony atom w wyrażeniu.

szukajNumWyr — pobiera i-ty argument w wyrażeniu operatora.

searchOperExpr - wyszukuje operatora w wyrażeniu.

uproszczony10Wyr - dokonuje uproszczeń na wyrażeniu zawierającym stałą atomową
wyrażenia.

uproszczoneNotExpr - dokonuje uproszczeń w wyrażeniu zawierającym inwertery.

Sortuj wyr - sortuje wyrażenie.

substExpr - kopiuje wyrażenie przez zastąpienie danego atomu wyrażeniem.

substPhyExpr - zastępuje wyrażenie atomowe wyrażeniem wewnątrz an
wyrażenie.

supportChin_listExpr
- zwraca wsparcie wyrażenia w a lista_łańcuchów.

wsparciePtype_listExpr
- zwraca wsparcie wyrażenia w a lista_typów.

wPMExpr - zwraca 1, jeśli dopasowanie wzorca jest możliwe między dwoma
wyrażenia.

Korzystaj z abl online za pomocą usług onworks.net