Index

R

rocs::BSolver (C++ class) rocs::BSolver::_sol (C++ member) rocs::BSolver::BSolver (C++ function) rocs::BSolver::construct_dba (C++ function) rocs::BSolver::generate_product (C++ function) rocs::BSolver::load_abstraction (C++ function) rocs::BSolver::solve_buchigame_on_product (C++ function) rocs::BSolver::write_controller_to_txt (C++ function) rocs::BSolver::~BSolver (C++ function) rocs::CSolver (C++ class) rocs::CSolver::_bstype (C++ member) rocs::CSolver::_ctlr (C++ member) rocs::CSolver::_fpiter (C++ member) rocs::CSolver::_goal (C++ member) rocs::CSolver::_M (C++ member) rocs::CSolver::_maxiter (C++ member) rocs::CSolver::_nu (C++ member) rocs::CSolver::_obs (C++ member) rocs::CSolver::_timer (C++ member) rocs::CSolver::_winsize (C++ member) rocs::CSolver::_xdim (C++ member) rocs::CSolver::bisect_axis (C++ function) rocs::CSolver::buchi (C++ function) rocs::CSolver::cobuchi (C++ function) rocs::CSolver::compute_winsize (C++ function) rocs::CSolver::CSolver (C++ function) rocs::CSolver::init (C++ function), [1], [2] rocs::CSolver::init_avoid_area (C++ function) rocs::CSolver::init_goal_area (C++ function) rocs::CSolver::init_leafque (C++ function) rocs::CSolver::init_refine (C++ function) rocs::CSolver::init_winset (C++ function) rocs::CSolver::inv_compute (C++ function) rocs::CSolver::invariance_control (C++ function) rocs::CSolver::labeling (C++ function), [1] rocs::CSolver::log_iterations (C++ function) rocs::CSolver::paver_init (C++ function) rocs::CSolver::paver_test (C++ function) rocs::CSolver::pre_cntl (C++ function) rocs::CSolver::print_controller (C++ function) rocs::CSolver::print_controller_info (C++ function) rocs::CSolver::reach_compute (C++ function) rocs::CSolver::reachability_control (C++ function) rocs::CSolver::reachstay_control (C++ function) rocs::CSolver::set_M (C++ function) rocs::CSolver::sivia (C++ function) rocs::CSolver::targetset_in_sdoms (C++ function) rocs::CSolver::union_of_pres (C++ function) rocs::CTCntlSys (C++ class) rocs::CTSwSys (C++ class) rocs::CTSys (C++ class) rocs::dba_control (C++ function) rocs::DBAparser (C++ class) rocs::DBAparser::back_to_the_first_line (C++ function) rocs::DBAparser::close (C++ function) rocs::DBAparser::open (C++ function) rocs::DBAparser::read_accepting_nodes (C++ function) rocs::DBAparser::read_initial_state (C++ function) rocs::DBAparser::read_number_of_atomic_propsitions (C++ function) rocs::DBAparser::read_number_of_nodes (C++ function) rocs::DBAparser::read_propositions (C++ function) rocs::DBAparser::read_spec_name (C++ function) rocs::DBAparser::read_transition_matrix (C++ function) rocs::DSolver (C++ class) rocs::DSolver::_leastctlr (C++ member) rocs::DSolver::_nw (C++ member) rocs::DSolver::_optctlr (C++ member) rocs::DSolver::_ts (C++ member) rocs::DSolver::_value (C++ member) rocs::DSolver::_win (C++ member) rocs::DSolver::DSolver (C++ function) rocs::DSolver::invariance (C++ function) rocs::DSolver::reachability (C++ function) rocs::DTCntlSys (C++ class) rocs::DTSwSys (C++ class) rocs::DTSys (C++ class) rocs::flowTaylor (C++ class) rocs::flowTaylor::_delta (C++ member) rocs::flowTaylor::_K (C++ member) rocs::flowTaylor::_kbar (C++ member) rocs::flowTaylor::_logdel2 (C++ member) rocs::flowTaylor::_p (C++ member)

rocs::flowTaylor::_parameters (C++ member) rocs::flowTaylor::_tau (C++ member) rocs::flowTaylor::_u (C++ member) rocs::flowTaylor::_wbar (C++ member) rocs::flowTaylor::_xenc (C++ member) rocs::flowTaylor::compute_reachset_robust (C++ function) rocs::flowTaylor::compute_reachset_valid (C++ function) rocs::flowTaylor::construct_helper (C++ function) rocs::flowTaylor::eval_taylor_apriori (C++ function) rocs::flowTaylor::eval_taylor_coeffs (C++ function) rocs::flowTaylor::eval_taylor_kthterm (C++ function) rocs::flowTaylor::eval_taylor_terms (C++ function) rocs::flowTaylor::eval_taylorterm_bound (C++ function) rocs::flowTaylor::flowTaylor (C++ function), [1] rocs::flowTaylor::frems (C++ member) rocs::flowTaylor::fterms (C++ member) rocs::flowTaylor::I (C++ member) rocs::flowTaylor::II (C++ member) rocs::flowTaylor::init_taylor_coeffs (C++ function) rocs::flowTaylor::print_taylor_coeffs (C++ function) rocs::flowTaylor::reachset_robust (C++ function) rocs::flowTaylor::reset_taylor_coeffs (C++ function) rocs::flowTaylor::yrems (C++ member) rocs::flowTaylor::yterms (C++ member) rocs::h5FileHandler (C++ class) rocs::h5FileHandler::create_group (C++ function) rocs::h5FileHandler::h5FileHandler (C++ function) rocs::h5FileHandler::read_2d_array (C++ function) rocs::h5FileHandler::read_array (C++ function) rocs::h5FileHandler::read_discrete_controller (C++ function), [1] rocs::h5FileHandler::read_number (C++ function) rocs::h5FileHandler::read_sptree_controller (C++ function) rocs::h5FileHandler::read_transitions (C++ function) rocs::h5FileHandler::read_winning_graph (C++ function) rocs::h5FileHandler::write_2d_array (C++ function), [1], [2] rocs::h5FileHandler::write_array (C++ function), [1] rocs::h5FileHandler::write_discrete_controller (C++ function), [1] rocs::h5FileHandler::write_input_values (C++ function) rocs::h5FileHandler::write_ivec_array (C++ function) rocs::h5FileHandler::write_number (C++ function) rocs::h5FileHandler::write_problem_setting (C++ function) rocs::h5FileHandler::write_sptree_controller (C++ function) rocs::h5FileHandler::write_sptree_leaves (C++ function) rocs::h5FileHandler::write_state_space (C++ function) rocs::h5FileHandler::write_transitions (C++ function) rocs::h5FileHandler::write_winning_graph (C++ function) rocs::matWriter (C++ class) rocs::matWriter::close (C++ function) rocs::matWriter::open (C++ function) rocs::matWriter::write_boundary (C++ function) rocs::matWriter::write_controller_serialized (C++ function) rocs::matWriter::write_discrete_controller (C++ function) rocs::matWriter::write_input_values (C++ function) rocs::matWriter::write_ivec_array (C++ function) rocs::matWriter::write_problem_setting (C++ function) rocs::matWriter::write_real_array (C++ function) rocs::matWriter::write_real_number (C++ function) rocs::matWriter::write_sptree_controller (C++ function) rocs::matWriter::write_sptree_leaves (C++ function) rocs::matWriter::write_state_space (C++ function) rocs::matWriter::write_transitions (C++ function) rocs::matWriter::write_uniform_grids (C++ function) rocs::matWriter::write_winset_boundary (C++ function) rocs::params (C++ class) rocs::params::alpha (C++ member) rocs::params::beta (C++ member) rocs::params::eps (C++ member) rocs::params::kmax (C++ member) rocs::params::params (C++ function), [1] rocs::params::tol (C++ member) rocs::read_spec (C++ function) rocs::System (C++ class) rocs::System::_name (C++ member) rocs::System::_tau (C++ member) rocs::System::_udim (C++ member) rocs::System::_ugrid (C++ member) rocs::System::_workspace (C++ member) rocs::System::_xdim (C++ member) rocs::System::init_inputset (C++ function), [1] rocs::System::init_workspace (C++ function), [1] rocs::System::System (C++ function) rocs::write_csolvers_to_h5 (C++ function) rocs::write_results_to_mat (C++ function)