A

• AboutCheckMate
• add_region
• affine (root) (leaf)
• align_figure
• append_array
• apply_reset
• augment_poly_constraints
• auto2xsys
1. find_terminal_state
2. create_terminal_state

B

• block_logic
1. check_block_type
2. and_or_term
3. xor_term
• bounding_linear_box (root)
1. compvec
2. create_new_hyper
3. compute_new_vertices
4. adjust_med
• bounding_SD_box
1. compvec
2. create_new_hyper
3. compute_new_vertices
4. adjust_med
• build_ap
1. build_poly_ap
2. build_fsm_ap
• build_trace_ap
1. build_poly_ap
2. build_fsm_ap

C

• camera_callback (root) (leaf)
• camera_control
• cell_ineq
• Cells2linearcon (root) (leaf)
• check_crossing1 (root)
• check_model_syntax
1. valid_block_name
2. islowercase (leaf)
3. isnumber (leaf)
4. check_param_block
• check_overall_dynamics
• clk_flow (root)
1. reach_no_eq
2. reach_one_eq
• clk_map
• clk_rch
1. reach_no_eq
2. reach_one_eq
• clock_partition
1. split_patch
2. split_if_too_big
• cmbrowse (root)
1. open_browser
2. refresh_browser
3. create_browser
4. resize_browser
5. init_browser_tree
6. display_tree
7. get_node
8. set_node
9. toggle_entry
10. refresh_tree_display
11. refresh_content_display
12. set_browser_data (leaf)
13. get_browser_data (leaf)
14. double2cellstr (leaf)
15. linearcon2cellstr
16. region2cellstr
17. vertices2cellstr
18. polyhedron2cellstr
• cmhelp (root) (leaf)
• cmnew (root)
• unique_sys_name
• ColorCells (root) (leaf)
• compare_cells (root)
• compile_ap
• visit
• compile_sys_info
1. get_machine_id
2. find_chart_id
3. get_state_number
4. check_to_ws
5. unique_name
6. get_analysis_region
7. get_initial_continuous_set
• compute_mapping
• compute_mapping_DHA
1. bound_and_clean (root)
2. is_in_stability_ellipsoid
3. lyapell
4. fcheck_equilibrium
• compute_mapping_DHA_VR (root)
1. bound_and_clean
2. is_in_stability_ellipsoid
3. lyapell
4. fcheck_equilibrium (root)
• compute_mapping_no_SD
1. find_interior_destination
2. find_guard_destination
3. find_destination_location
4. location_name (leaf)
5. bounding_box
• compute_mapping_SD
1. is_in_stability_ellipsoid
2. lyapell
3. fcheck_equilibrium
• compvec (root)
• copy_model (root)
• copy_line
• count_st (root)

D

• document (root)
• draw (root) (leaf)

E

• evaluate
• explore (root)
1. validate_vertex
2. validate_trajectory
3. unique_sys_name
4. get_fsm_state_names
5. find_chart_id
6. get_machine_id
• extract_trace

F

• find_children (root)
• get_cell_face
• find_dst_port
• find_line_dst
• find_location
• find_masked_blocks
• find_src_port
• findstate (root)
• flow_reach
1. insert_queue (leaf)
2. remove_queue
• fs_lin_map
1. invariant_boundary_intersect
2. is_in_stability_ellipsoid
3. lyapell
• fs_nonlin_map
• invariant_boundary_intersect

G

• get_auto_state
• get_cell_face (root)
• get_fsm_state (root)
• get_root_system
• global_var (leaf)
• grow_polytope
• grow_polytope_for_iautobuild
• grow_polytope_for_iautopart

H

• hyperrectangle

I

• iauto_build
1. assign_children
2. insert_queue (leaf)
3. remove_queue
4. return_invariant (root)
• iauto_part
1. prel_refine
2. return_region
3. return_init_region
4. get_cell_face (root)
5. get_terminal_cell (root)
• identerm
1. create_terminal (leaf)
2. islowercase (leaf)
3. isnumber (leaf)
4. error_header (leaf)
• inc_auto_idx
• inc_new_auto_idx
• ineq2cell
• init_states
• install (root)
• adddir
• is_valid_auto_idx
• is_valid_new_auto_idx
• isequivalent
• isneighbor (root)

L

• last (leaf)
• linear_partition
1. split_patch
2. split_if_too_big
3. compute_vfield_variation
• load_parameters (root)
• location_invariant

M

• match_paren
• matrix2evalstr (root) (leaf)
• model_check (root)

N

• newdata (root) (leaf)
• nonlinear_partition
1. split_patch
2. split_if_too_big
3. estimate_vfield_variation
4. derivative
• number_sf_chart
1. number_current_chart
2. number_all_charts
3. number_chart
4. compare_name (root)
5. quick_sort
6. combine_list
7. get_machine_id

O

• one_step_of_controller
• overall_system_clock
• overall_system_matrix
• overall_system_ode (root)
• deriv
• overall_system_ode_for_DHA (root)
• deriv
• overall_system_reset

P

• parameters
• parse
1. create_production
2. match_production
3. apply_production
4. find_key_symbol
5. print_nodes
• partition_ss
• php (root)
• php2 (root) (leaf)
• piha
1. create_hyperplanes
2. create_guard
3. is_terminal_state
4. find_cond_expr
5. process_label_string
6. get_machine_id
7. find_chart_id
8. get_initial_continuous_set
9. get_analysis_region
10. get_state_number
11. get_labeled_state
12. find_initial_cells
13. find_initial_conditions
14. is_repeat
15. intersect_complements
16. clean_up_boundary
17. clean_transition (root)
• plot_hyp (root) (leaf)
• plot_location_part (root)
• plot_mapping (root)
• plot_simula (root) (leaf)
• plot_traj (root)
• plotcells (root) (leaf)
• PlotColorLoc (root) (leaf)
• plotmap (root) (leaf)
• plotpipe (root)
1. compute_flow_sim2
2. check_crossing
• plotpoly (root)
1. compute_flow_sim
2. check_crossing
• PlotRegion (root) (leaf)
• poly_icon (root) (leaf)
• poly_param
• print_ga (root)
• psim_lin
• psim_ode (root)

R

• rauto_ischild
• rauto_mapping
• rauto_tran
• refine_auto
1. update_children
2. refine_interior_region_state
3. find_src_mapping_index
• remove_unreachables
• update_children
• return_cell_invariant
• return_invariant
• return_parameter_cons
• revtran
• rst_ga (root)

S

• scsb_icon (root) (leaf)
• scsb_icon_gen (root) (leaf)
• scsb_mask_handler (root)
• scsb_wrapper (root) (leaf)
• seg_approx_DHA_ode
1. simulate_points
2. shwrap_ode
• seg_approx_lin
• shwrap_lin
• seg_approx_ode
• simulate_points
• seg_approx_SD_ode
1. simulate_points
2. shwrap_ode
• seg_approx_VRClock
1. simulate_points
2. shwrap_ode
• set_auto_state
• sf_input_expression
• sf_tool
• sf_tool_callback (root)
• simulate_points (root)
• slblocks (root) (leaf)
• spl_sim (root)
1. compute_flow_sim
2. check_crossing
• split_polytope
• states_sd (root)
• states_sd2 (root)
• step_response
• str2cell
• stretch_const_fmincon (root)
• stretch_func_fmincon (root)
• stretch_func_lin
• stretch_func_ode (root) (leaf)
• stretch_func_ode_equal (root)
• stretch_func_ode_for_DHA (root)

T

• test_hull (root) (leaf)
• teste_map (root)
• total_auto_states (root)
• total_new_auto_states
• trace_mux_network
• find_mux_input_blocks
• trace_pthb_input
• trace_scsb_input
• tt (root)

V

• verify (root)
• vzoh_icon (root) (leaf)