发明名称 Encoding Switch on Ordered Universes with Binary Decision Diagrams
摘要 Various embodiments herein include one or more of systems, methods, software, and/or data structures to implement a multi-way branch statement in a computer programming language. The multi-way branch statement may include a plurality of case labels each having a non-primitive data type (e.g., strings) and being associated with a block of code to be executed dependent upon a control variable that also has a non-primitive data type. The implementation may include encoding the case labels for the multi-way branch statement as a binary decision diagram (BDD), such as a zero-suppressed binary decision diagram (ZDD), wherein the control variable for the multi-way branch statement may be compared with the case labels by stepping through the BDD. The BDD may include identifiers that provide information regarding which of the case labels is matched by the control variable, such that an appropriate code block may be executed.
申请公布号 US2011099535(A1) 申请公布日期 2011.04.28
申请号 US20090607328 申请日期 2009.10.28
申请人 SUN MICROSYSTEMS, INC. 发明人 BUCKLEY ALEXANDER R.;DARCY JOSEPH D.
分类号 G06F9/44;G06F9/45 主分类号 G06F9/44
代理机构 代理人
主权项
地址