ACTL/
ACTL/@region/
ACTL/@region/and.m
ACTL/@region/checkAF.m
ACTL/@region/checkAG.m
ACTL/@region/checkAR.m
ACTL/@region/checkAU.m
ACTL/@region/checkAX.m
ACTL/@region/checkEF.m
ACTL/@region/checkEG.m
ACTL/@region/checkER.m
ACTL/@region/checkEU.m
ACTL/@region/checkEX.m
ACTL/@region/display.m
ACTL/@region/findSCCf.m
ACTL/@region/get_region_param.m
ACTL/@region/isempty.m
ACTL/@region/isinregion.m
ACTL/@region/isuniverse.m
ACTL/@region/not.m
ACTL/@region/or.m
ACTL/@region/reach.m
ACTL/@region/region.m
ACTL/@region/set_state.m
ACTL/build_ap.m
ACTL/compile_ap.m
ACTL/evaluate.m
ACTL/identerm.m
ACTL/init_states.m
ACTL/match_paren.m
ACTL/model_check.m
ACTL/parse.m
approximation/
approximation/add_region.m
approximation/apply_reset.m
approximation/auto2xsys.m
approximation/bounding_linear_box.m
approximation/bounding_SD_box.m
approximation/cell_ineq.m
approximation/compare_cells.m
approximation/compute_mapping.m
approximation/compute_mapping_DHA.m
approximation/compute_mapping_DHA_VR.m
approximation/compute_mapping_no_SD.m
approximation/compute_mapping_SD.m
approximation/document.m
approximation/find_children.m
approximation/find_location.m
approximation/flowpipe/
approximation/flowpipe/clock/
approximation/flowpipe/clock/clk_map.m
approximation/flowpipe/clock/clk_rch.m
approximation/flowpipe/dha/
approximation/flowpipe/dha/one_step_of_controller.m
approximation/flowpipe/dha/overall_system_ode_for_DHA.m
approximation/flowpipe/dha/seg_approx_DHA_ode.m
approximation/flowpipe/dha/seg_approx_VRClock.m
approximation/flowpipe/dha/stretch_func_ode_for_DHA.m
approximation/flowpipe/linear/
approximation/flowpipe/linear/affine.m
approximation/flowpipe/linear/fs_lin_map.m
approximation/flowpipe/linear/psim_lin.m
approximation/flowpipe/linear/seg_approx_lin.m
approximation/flowpipe/linear/step_response.m
approximation/flowpipe/linear/stretch_func_lin.m
approximation/flowpipe/nonlinear/
approximation/flowpipe/nonlinear/fs_nonlin_map.m
approximation/flowpipe/nonlinear/hyperrectangle.m
approximation/flowpipe/nonlinear/psim_ode.m
approximation/flowpipe/nonlinear/seg_approx_ode.m
approximation/flowpipe/nonlinear/seg_approx_SD_ode.m
approximation/flowpipe/nonlinear/stretch_const_fmincon.m
approximation/flowpipe/nonlinear/stretch_func_fmincon.m
approximation/flowpipe/nonlinear/stretch_func_ode.m
approximation/flow_reach.m
approximation/get_auto_state.m
approximation/get_cell_face.m
approximation/global_var.m
approximation/grow_polytope.m
approximation/grow_polytope_for_iautobuild.m
approximation/grow_polytope_for_iautopart.m
approximation/iauto_build.m
approximation/iauto_part.m
approximation/ineq2cell.m
approximation/isequivalent.m
approximation/isneighbor.m
approximation/load_parameters.m
approximation/parameters.m
approximation/partition/
approximation/partition/clock_partition.m
approximation/partition/linear_partition.m
approximation/partition/nonlinear_partition.m
approximation/rauto_ischild.m
approximation/rauto_mapping.m
approximation/rauto_tran.m
approximation/refine_auto.m
approximation/remove_unreachables.m
approximation/return_cell_invariant.m
approximation/return_invariant.m
approximation/return_parameter_cons.m
approximation/set_auto_state.m
approximation/simulate_points.m
approximation/stretch_func_ode_equal.m
approximation/util/
approximation/util/append_array.m
approximation/util/check_overall_dynamics.m
approximation/util/get_fsm_state.m
approximation/util/inc_auto_idx.m
approximation/util/inc_new_auto_idx.m
approximation/util/is_valid_auto_idx.m
approximation/util/is_valid_new_auto_idx.m
approximation/util/location_invariant.m
approximation/util/overall_system_clock.m
approximation/util/overall_system_matrix.m
approximation/util/overall_system_ode.m
approximation/util/overall_system_reset.m
approximation/util/plot_location_part.m
approximation/util/plot_mapping.m
approximation/util/revtran.m
approximation/util/split_polytope.m
approximation/util/total_auto_states.m
approximation/util/total_new_auto_states.m
approximation/verify.m
disclaim.txt
exploration/
exploration/build_trace_ap.m
exploration/compile_sys_info.m
exploration/explore.m
exploration/extract_trace.m
frontend/
frontend/AboutCheckMate.m
frontend/align_figure.m
frontend/clock1.jpg
frontend/cmexplore.jpg
frontend/cmhelp.m
frontend/cmlib.mdl
frontend/cmnew.m
frontend/cm_about_gui.fig
frontend/gettingstarted.txt
frontend/gui/
frontend/gui/camera_callback.m
frontend/gui/camera_control.m
frontend/gui/cmbrowse.m
frontend/gui/sf_tool.m
frontend/gui/sf_tool_callback.m
frontend/icon/
frontend/icon/poly_icon.m
frontend/icon/scsb_icon.m
frontend/icon/scsb_icon_gen.m
frontend/icon/vzoh_icon.m
frontend/partition_ss.m
frontend/piha/
frontend/piha/piha.m
frontend/piha/piha_structure.txt
frontend/scsb_mask_handler.m
frontend/scsb_sfun.c
frontend/scsb_sfun.dll
frontend/scsb_wrapper.m
frontend/slblocks.m
frontend/slutil/
frontend/slutil/augment_poly_constraints.m
frontend/slutil/block_logic.m
frontend/slutil/check_model_syntax.m
frontend/slutil/copy_model.m
frontend/slutil/find_dst_port.m
frontend/slutil/find_line_dst.m
frontend/slutil/find_masked_blocks.m
frontend/slutil/find_src_port.m
fro