contents.m

来自「CheckMate is a MATLAB-based tool for mod」· M 代码 · 共 12 行

% ACTL
%
% Files
%   build_ap    - Build regions corresponding to the atomic propositions specified in the
%   compile_ap  - Compile the list of atomic propositions present in the parse tree
%   evaluate    - Evaluate the ACTL formula stored in the pare tree.
%   identerm    - Identify `terminal symbols` to be parsed by the ACTL parser.
%   init_states - Compute "region" object corresponding to the set of `initial states` in
%   match_paren - Match pairs of parentheses in the given string.
%   model_check - Perform `model checking` on the global transition system given the
%   parse       - Parse the cell array of terminal symbols into a tree using ACTL grammar