Here is a list of all documented functions, variables, defines, enums, and typedefs with links to the documentation:

- a -

• add_metric_sysgoal() : patching.h
• anode_index() : automaton.h
• anode_t : automaton.h
• append_anode_trans() : automaton.h
• append_list_item() : ptree.h
• aut_aut_dump() : automaton.h
• aut_aut_dumpver() : automaton.h
• aut_aut_load() : automaton.h
• aut_aut_loadver() : automaton.h
• aut_compact_nonbool() : automaton.h
• aut_expand_bool() : automaton.h
• aut_prune_deadends() : automaton.h
• aut_size() : automaton.h

- b -

• bitvec_to_int() : gr1c_util.h
• bounds_DDset() : solve_metric.h
• build_anode_trans() : automaton.h

- c -

• check_gr1c_form() : gr1c_util.h
• check_realizable() : solve.h
• check_vars() : ptree.h
• closelogfile() : logging.h
• compute_existsmodal() : solve_support.h
• compute_sublevel_sets() : solve.h
• compute_winning_set() : solve.h
• compute_winning_set_BDD() : solve.h
• copy_ptree() : ptree.h

- d -

• delete_anode() : automaton.h
• delete_aut() : automaton.h
• delete_tree() : ptree.h
• DOT_AUT_ALL : automaton.h
• DOT_AUT_ATTRIB : automaton.h
• DOT_AUT_BINARY : automaton.h
• dot_aut_dump() : automaton.h
• DOT_AUT_EDGEINPUT : automaton.h

- e -

• expand_nonbool_state() : gr1c_util.h
• expand_nonbool_variables() : gr1c_util.h
• expand_to_bool() : ptree.h

- f -

• find_anode() : automaton.h
• find_anode_index() : automaton.h
• find_list_item() : ptree.h
• forward_modereach() : automaton.h
• forward_prune() : automaton.h

- g -

• get_list_item() : ptree.h
• get_offsets() : solve_metric.h
• get_offsets_list() : gr1c_util.h
• getlogopt() : logging.h

- i -

• increment_cube() : solve_support.h
• init_ptree() : ptree.h
• inorder_trav() : ptree.h
• insert_anode() : automaton.h
• int_to_bitvec() : gr1c_util.h

- j -

• json_aut_dump() : automaton.h

- l -

• levelset_interactive() : solve.h
• list_aut_dump() : automaton.h
• logprint() : logging.h
• logprint_endline() : logging.h
• logprint_raw() : logging.h
• logprint_startline() : logging.h

- m -

• max_tree_value() : ptree.h
• merge_ptrees() : ptree.h
• min_tree_value() : ptree.h

- o -

• openlogfile() : logging.h

- p -

• patch_localfixpoint() : patching.h
• pop_anode() : automaton.h
• print_formula() : ptree.h
• print_node() : ptree.h
• print_support() : gr1c_util.h
• ptree_BDD() : ptree.h
• ptree_t : ptree.h
• pusht_operator() : ptree.h
• pusht_terminal() : ptree.h

- r -

• read_state_str() : solve_support.h
• remove_list_item() : ptree.h
• replace_anode_trans() : automaton.h
• rm_sysgoal() : patching.h
• rmax_tree_value() : ptree.h
• rmin_tree_value() : ptree.h

- s -

• saturated_cube() : solve_support.h
• setlogopt() : logging.h
• setlogstream() : logging.h
• spin_aut_dump() : automaton.h
• state_to_BDD() : solve_support.h
• state_to_cof() : solve_support.h
• synthesize() : solve.h
• synthesize_reachgame() : patching.h

- t -

• tree_dot_dump() : ptree.h
• tree_size() : ptree.h
• tulip0_aut_dump() : automaton.h
• tulip_aut_dump() : automaton.h

- u -

• unreach_expanded_bool() : ptree.h

- v -

• var_to_bool() : ptree.h