?? checker.m
字號:
function EfRg = checkER(f,g)% Evaluate the `computation tree logic (CTL)` expression "E f R g". %% Syntax:% "EfRg = checkER(f,g)"%% Description:% Given a finite-state transition system and its reverse transition system% stored in the global variables "GLOBAL_TRANSITION" and% "GLOBAL_REV_TRANSITION" and the "region" objects "f" and "g", compute% the region corresponding to the CTL expression "E f R g".%% Implementation:% Use the CTL identity %% "E f R g = ~(A ~f U ~g)"%% See Also:% region,auto2xsys,reach,findSCCf,checkAF,checkAG,checkAR,checkAU,checkAX,% checkEF,checkEG,checkEU,checkEXEfRg = ~checkAU(~f,~g);return
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -