?? build_poly_ap.m
字號:
function ap = build_poly_ap(apname)global GLOBAL_PIHA GLOBAL_TRANSITION GLOBAL_AUTO2XSYS_MAP% build region for apname if it is a new atomic propositionN = length(GLOBAL_TRANSITION);NL = length(GLOBAL_PIHA.Locations);switch apname case 'null_event', ap = region(N,(0:NL-1) + GLOBAL_AUTO2XSYS_MAP.ne_start); case 'time_limit', ap = region(N,(0:NL-1) + GLOBAL_AUTO2XSYS_MAP.tl_start); case 'out_of_bound', ap = region(N,(0:NL-1) + GLOBAL_AUTO2XSYS_MAP.oob_start); case 'indeterminate', ap = region(N,(0:NL-1) + GLOBAL_AUTO2XSYS_MAP.ind_start); otherwise, error(['Invalid atomic proposition name ''' apname '''.'])end% -----------------------------------------------------------------------------?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -