abl - 클라우드 온라인

프로그램:

이름

abl - 부울 함수에 대한 접두사 표현

기술

libabmmmm.a LISP와 유사한 형식으로 부울 함수를 나타낼 수 있도록 하는 라이브러리입니다.
ABL은 표준을 갖는 부울 함수에 대한 접두사가 붙은 내부 표현입니다.
OR,NOR,NAND,XOR,NOT 및 AND와 같은 연산자. ABL은 이중선으로만 구성됩니다. 더블릿은
기능적으로 액세스할 수 있는 두 개의 필드로 구성 #밝히다 차 및 CDR. 에이
doublet는 MBK로 구현됩니다. 체인_리스트.
표현 ABL로 표현되는 부울 함수의 일반적인 용어입니다. 표현
원자 표현식 또는 연산자 표현식이 될 수 있습니다. 함수 f = a 대표된다
반면에 원자 표현으로 f = (또는 a b) 연산자 표현식으로 표현됩니다. 안
원자 표현은 다음을 갖는 단일 이중선으로 구성됩니다. 다음 NULL과 같은 포인터 및
데이터 포인터는 식별자 포인터와 같습니다. 상수 원자 표현은 원자
문자열 "'0'" 또는 "'1'"을 식별자로 갖는 식입니다.
연산자 표현식은 원자 표현식보다 더 복잡합니다. 의 목록입니다
항목에서 첫 번째 항목은 표현식의 헤드 연산자이고 다음 항목은
표현식의 인수. 다음을 호출하여 인수를 통과할 수 있습니다.
기능적 #밝히다 CDR. 그런 다음 함수에 의해 각 인수에 액세스할 수 있습니다. #밝히다 차.
인수는 재귀적으로 원자 또는 연산자 표현식일 수 있습니다. 의 성
연산자 표현식은 첫 번째 수준의 인수 수입니다.
함수는 두 그룹으로 나뉘며 저수준 함수는 다음과 같이 작성됩니다. #밝히다
ABL 내부 양식을 관리하는 데 사용되며 고급 기능은 관리하는 데 사용됩니다.
부울 식. 모든 기능은 "prefbib.c" 파일에 정의되어 있습니다(#밝히다 in
"logmmm.h").

기능적 #밝히다

ATOM - 표현식의 종류(원자식 또는 연산자 표현식)를 확인합니다.

차 - 반환 데이터 이중선의 포인터.

CADR - 반환 데이터 의 포인터 다음 이중선의 포인터.

CDR - 반환 다음 이중선의 포인터.

오퍼 - 연산자 표현식의 연산자 번호를 반환합니다.

VALUE_ATOM - 관련 반환 이륜 전차 * 원자 표현의.

기능 및 절차

addHExpr - 연산자 표현식의 헤드에 새 인수를 추가합니다.

addQExpr - 연산자 표현식의 대기열에 새 인수를 추가합니다.

모든Expr - 결과에 적용된 논리적 OR 값을 반환합니다.
연산자 표현식의 인수에 함수를 적용합니다.

ChangeOperExpr - 표현식 헤드의 연산자를 변경합니다.

charToOper - 연산자 문자열을 연산자 번호로 변환합니다.

copyExpr - 식을 복사합니다.

createAtom - 원자적 표현을 생성합니다.

createBinExpr - 최종 병합으로 이항 연산자 표현식을 생성합니다.
연산자.

createExpr - 연산자 표현식의 헤드를 생성합니다.

deleteNumExpr - 연산자 표현식에서 i번째 인수를 제거합니다.

devXor2Expr - XOR 2를 OR-AND로 변환합니다.

devXorExpr - 식에서 XOR을 제거합니다.

디스플레이Expr - 접두사 표기법으로 표현식을 표시합니다.

디스플레이InfExpr - 고정 표기법으로 표현을 표시합니다.

동일Expr - 두 식이 완전히 동일한지 확인합니다.

equalVarExpr - 두 표현식이 구문적으로 동일한지 확인합니다.

모든Expr - 결과에 적용된 논리적 AND의 값을 반환합니다.
연산자 표현식의 인수에 함수를 적용합니다.

exprToChar - 식을 문자열로 변환합니다.

charToExpr - 문자열을 표현식으로 변환합니다.

flatArityExpr - 표현식의 연산자를 평면화합니다.

flatPolarityExpr - 식의 인버터를 원자 수준으로 변환합니다.
표현.

freeExpr - 표현식을 해제합니다.

identExpr - 연산자 표현식에서 식별자를 제공합니다.

길이Expr - 식의 인수 수를 반환합니다.

지도자동차Expr - 의 모든 인수에 함수를 적용하여 새 식을 만듭니다.
연산자 표현식

지도Expr - 연산자 표현식의 모든 인수에 프로시저를 적용합니다.

최대익스프레스 - 연산자 표현식의 가장 높은 인수를 반환합니다.

minExpr - 연산자 표현식의 가장 낮은 인수를 반환합니다.

규범Expr - 표현식을 정규화합니다.

notExpr - 표현을 보완하고 결국 단순화를 수행합니다.

번호AtomExpr - 식의 원자 수를 반환합니다.

숫자OccExpr - 표현식에 원자가 나타나는 횟수를 반환합니다.

번호OperBinExpr - 식에서 동등한 이항 연산자의 수를 반환합니다.

operToChar - 연산자 번호를 연산자 문자열로 변환합니다.

교수Expr - 식의 깊이를 반환합니다.

profAOExpr - 인버터를 사용하지 않고 식의 깊이를 반환합니다.
계정입니다.

검색Expr - 식에서 특정 원자를 검색합니다.

검색NumExpr - 연산자 표현식에서 i번째 인수를 가져옵니다.

검색OperExpr - 표현식에서 연산자를 검색합니다.

단순화10Expr - 상수 원자를 포함하여 표현식을 단순화합니다.
표현.

단순한 NotExpr - 인버터를 포함하여 표현을 단순화합니다.

sortExpr - 식을 정렬합니다.

substExpr - 주어진 원자를 표현식으로 대체하여 표현식을 복사합니다.

substPhyExpr -원자적 표현을 다음 내의 표현으로 대체합니다.
표현.

supportChain_listExpr
- 식의 지원을 반환합니다. 체인_리스트.

supportPtype_listExpr
- 식의 지원을 반환합니다. ptype_list.

wPMExpr - 둘 사이에 패턴 매칭이 가능하면 1을 반환
표현.

onworks.net 서비스를 사용하여 온라인에서 abl 사용