 | jpaul.무료 프로그램 분석 알고리즘 구현 |
| 지금 다운로드 | |
jpaul. 순위 및 요약
광고
jpaul. 태그
jpaul. 설명
무료 프로그램 분석 알고리즘 구현 jpaul 널리 프로그램 분석에 사용되는 여러 가지 알고리즘의 무료 및 오픈 소스 자바 구현입니다. jpaul 유연성과 사용 편의성을 강조하고 특정 컴파일러 인프라 프로젝트의 독립적입니다. 여기에 "jpaul"의 일부 주요 기능은 다음과 같습니다 그래프 알고리즘 - 패키지 jpaul.Graphs : · 루트 정점의 세트 및 그래프의 아크를 설명하는 네비게이션 등의 방향 그래프 (이중 음자)의 일반적인 정의. 이 디자인은 심지어 호 명시 적으로 정점에 저장되지 않은 그래프에 대한 우리의 라이브러리를 사용할 수 있습니다. · 일반 이중 음자 알고리즘 : DFS 순회, 접근 가능성, 최단 경로 등 · 강하게 연결된 구성 요소 (SCC에) - 꼭지점 원래 그래프 SCC에되는 이중 음자 이중 음자 주어 우리는 위상 적으로 분류 이중 음자 성분을 구성 할 수있다. · 소리를 나타내는 두 글자의 기본 블록 표현입니다. · 감독 이진 트리 (특수 이중 음자). 사전 / 인 - / 포스트 위해 효율적으로 이상과 같은 나무를 반복하는 유틸리티. · 일반 울타리를 통해 불평등 제약의 시스템을위한 효율적인 해결사 - 패키지 jpaul.Constraints. 고전 세트 제약 해법의 일반화. 사용자가 제약의 자신의 종류를 정의 할 수 있습니다. 패키지 jpaul.Constraints.SetConstraints - 제약 솔버 프레임 워크의 예를 들어, 우리는 또한 일련의 제약 조건 솔버를 구현했습니다. 일반 NFA 쌍이 정규 표현식 - 패키지 jpaul.RegExps : · NFA에서 정규 표현식으로 변환 유용한 데이터 구조 - 패키지 jpaul.DataStructs : · 바이너리 및 삼항 관계 공장 패턴 · 클래스 · 기록 중 복사 데이터 구조 고정 소수점 처리 · 작업 세트 요구 사항 : · Java 1.5 이상 이 릴리스에서는 새로운 기능 : · 이전 릴리스에 당황 오류를 수정 : jpaul 2.5, · jpaul.Version.RELEASE 필드는 여전히 "2.4.1"이었다. 이제, 우리가 가지고 · 더 자동화 된 릴리스 절차, 같은 실수가 확인합니다. · 아담은 발견되지 않은 몇 가지 데이터 구조를 고정 · 직렬화 아직. 그들은 지금!
jpaul. 관련 소프트웨어
