abl - Online sa Cloud

PROGRAMA:

NAME

abl - Prefixed na representasyon para sa boolean function

DESCRIPTION

libablmmm.a ay isang library na nagbibigay-daan upang kumatawan sa isang boolean function sa isang LISP-like form.
Ang ABL ay isang prefix na panloob na representasyon para sa isang boolean function na may pamantayan
mga operator bilang OR,NOR,NAND,XOR,NOT at AND. Ang ABL ay binubuo lamang ng mga doublet. Ang isang doublet ay
binubuo ng dalawang field na naa-access ng functionnal # tukuyin CAR at CDR. Ang
doublet ay ipinatupad na may isang MBK chain_list.
pagpapahayag ay ang generic na termino para sa isang boolean function na kinakatawan ng isang ABL. Isang ekspresyon
maaaring isang atomic expression o isang operator expression. Ang function f = a ay kinatawan
sa pamamagitan ng isang atomic expression samantalang f = (O a b) ay kinakatawan ng isang expression ng operator. An
Ang atomic expression ay binubuo ng isang doublet na mayroong NEXT pointer na katumbas ng NULL at
DATA pointer na katumbas ng identifier pointer. Ang isang pare-parehong pagpapahayag ng atom ay isang atomic
expression na may string na "'0'" o "'1'" bilang identifier.
Ang isang operator expression ay mas kumplikado kaysa sa isang atomic expression. Ito ay isang listahan ng
item, ang unang item ay ang head operator ng expression at ang mga sumusunod na item ay
ang mga argumento ng pagpapahayag. Posibleng suriin ang mga argumento sa pamamagitan ng pagtawag sa
functionnal # tukuyin CDR. Pagkatapos ang bawat argument ay maa-access ng functionnal # tukuyin CAR.
Ang isang argumento ay maaaring recursively isang atomic o isang operator expression. Ang arity ng isang
Ang expression ng operator ay ang bilang ng mga argumento ng unang antas.
Ang mga pag-andar ay nahahati sa dalawang pangkat, ang mababang antas ng mga pag-andar ay nakasulat sa # tukuyin
at ginagamit upang pamahalaan ang panloob na anyo ng ABL, ang mga mataas na antas ng pag-andar ay ginagamit upang pamahalaan
ang mga boolean na expression. Ang lahat ng mga function ay tinukoy sa file na "prefbib.c" (# tukuyin in
"logmmm.h").

Functionnal # tukuyin

ATOM - sinusuri ang uri ng isang expression (atomic o operator expression).

CAR - ibinabalik ang DATA pointer ng isang doublet.

CADR - ibinabalik ang DATA pointer ng NEXT pointer ng isang doublet.

CDR - ibinabalik ang NEXT pointer ng isang doublet.

OPER - ibinabalik ang numero ng operator ng isang expression ng operator.

VALUE_ATOM - ibinabalik ang nauugnay tangke * ng isang atomic expression.

Pag-andar at pamamaraan

addHExpr - nagdaragdag ng mga bagong argumento sa ulo ng isang expression ng operator.

addQExpr - nagdaragdag ng bagong argumento sa pila ng expression ng operator.

anyExpr - ibinabalik ang halaga ng isang lohikal O inilapat sa mga resulta ng
aplikasyon ng isang function sa mga argumento ng isang expression ng operator.

changeOperExpr - binabago ang operator ng ulo ng isang expression.

charToOper - nagko-convert ng operator string sa isang numero ng operator.

copyExpr - kinokopya ang isang expression.

createAtom - lumilikha ng atomic expression.

createBinExpr - lumilikha ng isang binary operator expression na may isang pagsasama sa wakas ng
operator

createExpr - lumilikha ng ulo ng isang expression ng operator.

deleteNumExpr - inaalis ang i-th argument sa isang expression ng operator.

devXor2Expr - kino-convert ang XOR 2 sa OR-AND.

devXorExpr - inaalis ang XOR sa isang expression.

displayExpr - nagpapakita ng expression sa isang prefixed notation.

displayInfExpr - nagpapakita ng expression sa infixed notation.

equalExpr - sinusuri na ang dalawang expression ay mahigpit na pantay.

equalVarExpr - sinusuri na ang dalawang expression ay syntactically pantay.

everyExpr - ibinabalik ang halaga ng isang lohikal AT inilapat sa mga resulta ng
aplikasyon ng isang function sa mga argumento ng isang expression ng operator.

exprToChar - nagko-convert ng isang expression sa isang string.

charToExpr - nagko-convert ng string sa isang expression.

flatArityExpr - pinapatag ang mga operator ng isang expression.

flatPolarityExpr - isinasalin ang mga inverters ng isang expression sa antas ng atomic
mga ekspresyon.

librengExpr - nagpapalaya ng ekspresyon.

identExpr - nagbibigay ng identifier mula sa expression ng operator.

habaExpr - ibinabalik ang bilang ng mga argumento sa isang expression.

mapaCarExpr - lumilikha ng isang bagong expression sa pamamagitan ng paglalapat ng isang function sa lahat ng mga argumento ng
isang expression ng operator.

mapExpr - naglalapat ng isang pamamaraan sa lahat ng mga argumento ng isang expression ng operator.

maxExpr - ibinabalik ang pinakamataas na argumento ng isang expression ng operator.

minExpr - ibinabalik ang pinakamababang argumento ng expression ng operator.

normExpr - nag-normalize ng isang expression.

hindiExpr - umaakma sa isang expression at sa huli ay gumagawa ng isang pagpapasimple.

numberAtomExpr - ibinabalik ang bilang ng mga atom sa isang expression.

numberOccExpr - ibinabalik ang bilang ng oras na lumilitaw ang isang atom sa isang expression.

numberOperBinExpr - ibinabalik ang bilang ng mga katumbas na binary operator sa isang expression.

operToChar - nagko-convert ng numero ng operator sa isang string ng operator.

profExpr - ibinabalik ang lalim ng isang expression.

profAOExpr - ibinabalik ang lalim ng isang expression nang hindi kinukuha ang mga inverters
account.

searchExpr - naghahanap ng isang partikular na atom sa isang expression.

searchNumExpr - kinukuha ang i-th argument sa isang expression ng operator.

searchOperExpr - naghahanap ng operator sa isang expression.

simplif10Expr - gumagawa ng mga pagpapasimple sa isang expression kabilang ang patuloy na atomic
mga ekspresyon.

simplifNotExpr - gumagawa ng mga pagpapasimple sa isang expression kabilang ang mga inverters.

sortExpr - nag-uuri ng isang expression.

substExpr - kinokopya ang isang expression sa pamamagitan ng pagpapalit ng isang ibinigay na atom ng isang expression.

substPhyExpr - pinapalitan ang isang atomic expression ng isang expression sa loob ng isang
pagpapahayag.

supportChain_listExpr
- ibinabalik ang suporta ng isang expression sa a chain_list.

supportPtype_listExpr
- ibinabalik ang suporta ng isang expression sa a ptype_list.

wPMExpr - nagbabalik ng 1 kung posible ang pagtutugma ng pattern sa pagitan ng dalawa
mga ekspresyon.

Gumamit ng abl online gamit ang mga serbisyo ng onworks.net