Ada를 위한 간격 산법은 Ada에게 간격의 실시를 제공하는 수학 도서관이다. 그것은 산수 및 상관적인 작전을 포함한다.

보기:

3상태 논리

포장 간격은 루트 포장으로 봉사하고 또한 간격에 상관적인 작전을 정의하게 필요한 3상태 논리를 제공한다. 논리 모형은 다음과 같음 정의된다:

논리 모형은 이다 (틀리고, 확실하고, 불확실한);

뒤에 오는 작전은 논리를 위해 정의된다:

기능 "아닙니다" (떠나는: 논리 논리적인) 반환;
기능 "와" (떠나는, 맞은: 논리 논리적인) 반환;
기능 "와" (떠나는: 논리; 권리: 부울 논리 연산)
반환 논리;
기능 "와" (떠나는: 부울 논리 연산; 권리: 논리)
반환 논리;
기능 "또는" (떠나는, 맞은: 논리 논리적인) 반환;
기능 "또는" (떠나는: 논리; 권리: 부울 논리 연산)
반환 논리;
기능 "또는" (떠나는: 부울 논리 연산; 권리: 논리)
반환 논리;
기능 "xor" (떠나는, 맞은: 논리 논리적인) 반환;
남겨두는 기능 "xor" (: 논리; 권리: 부울 논리 연산)
반환 논리;
남겨두는 기능 "xor" (: 부울 논리 연산; 권리: 논리)
반환 논리;

이 방출에서 새로운 무엇이:

· 모기 사용자 GPS를 위해 프로젝트 파일은 포함되었다;
· v 2.4를 Ada를 위한 측정 부대에 기지를 두는.