?? checkar.m
字號:
function AfRg = checkAR(f,g)
% Evaluate the `computation tree logic (CTL)` expression "A f R g".
%
% Syntax:
% "AfRg = checkAR(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 "A f R g".
%
% Implementation:
% Use the CTL identity
%
% "A f R g = ~(E ~f U ~g)"
%
% See Also:
% region,auto2xsys,reach,findSCCf,checkAF,checkAG,checkAU,checkAX,
% checkEF,checkEG,checkER,checkEU,checkEX
AfRg = ~checkEU(~f,~g);
return
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -