% 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