首页>
外国专利>
Method and apparatus for creating and manipulating a compressed binary decision diagram in a data processing system
Method and apparatus for creating and manipulating a compressed binary decision diagram in a data processing system
展开▼
机译:在数据处理系统中创建和处理压缩二进制决策图的方法和装置
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and apparatus in a data processing system for manipulating a set of binary decision diagrams. A plurality of segments is created from the set of binary decision diagrams. A group of compression codes is associated with the set of segments, wherein the group of compression codes form a compressed data structure representing the set of binary decision diagrams.
展开▼