List of all items

Structs

• elevator_logic::request::DirnBehaviourPair
• elevator_logic::timer::ElevatorTimers
• elevator_logic::timer::Timer
• elevio::CallButton
• elevio::ElevMessage
• network::ConnectionStatus
• network::local_network::MpscRxs
• network::local_network::MpscTxs
• network::local_network::Mpscs
• world_view::ElevatorContainer
• world_view::WorldView

Enums

• elevio::CallType
• elevio::ElevMsgType
• world_view::Dirn
• world_view::ElevatorBehaviour

Functions

• backup::run_as_backup
• backup::start_backup_server
• elevator_logic::fsm::handle_door_timeout
• elevator_logic::fsm::handle_error_timeout
• elevator_logic::fsm::handle_floor_sensor_update
• elevator_logic::fsm::handle_idle_state
• elevator_logic::fsm::handle_stop_button
• elevator_logic::fsm::on_init
• elevator_logic::request::choose_direction
• elevator_logic::request::clear_at_current_floor
• elevator_logic::request::moving_towards_cab_call
• elevator_logic::request::should_stop
• elevator_logic::request::was_outside
• elevator_logic::run_local_elevator
• init::build_cost_fn
• init::get_terminal_command
• init::initialize_worldview
• init::parse_args
• ip_help_functions::get_root_ip
• ip_help_functions::ip2id
• manager::start_manager
• network::local_network::update_wv_watch
• network::read_network_status
• network::read_self_id
• network::set_self_id
• network::udp_broadcast::parse_message
• network::udp_broadcast::start_udp_broadcaster
• network::udp_broadcast::start_udp_listener
• network::udp_direct::start_direct_udp_broadcast
• network::watch_ethernet
• print::color
• print::cosmic_err
• print::err
• print::info
• print::master
• print::ok
• print::slave
• print::warn
• print::worldview
• world_view::deserialize
• world_view::extract_elevator_container
• world_view::extract_self_elevator_container
• world_view::get_index_to_container
• world_view::get_wv
• world_view::is_master
• world_view::serialize
• world_view::update_wv

Statics

• config::BCU_PORT
• config::BC_ADDR
• config::BC_LISTEN_ADDR
• config::BROADCAST_PORT
• config::LOCAL_ELEV_IP
• config::NETWORK_PREFIX
• config::OFFLINE_IP
• config::PN_PORT
• config::PRINT_ELSE_ON
• config::PRINT_ERR_ON
• config::PRINT_INFO_ON
• config::PRINT_OK_ON
• config::PRINT_WARN_ON
• config::PRINT_WV_ON
• network::SELF_ID

Constants

• config::BACKUP_FAILOVER_THRESHOLD
• config::BACKUP_RETRY_DELAY
• config::BACKUP_SEND_INTERVAL
• config::BACKUP_TIMEOUT
• config::BACKUP_WORLDVIEW_REFRESH_INTERVAL
• config::DEFAULT_NUM_FLOORS
• config::ELEV_POLL
• config::ERROR_ID
• config::KEY_STR
• config::MASTER_IDX
• config::MASTER_TIMEOUT
• config::PID_INTEGRAL_MAX
• config::PID_INTEGRAL_MIN
• config::POLL_PERIOD
• config::REDUNDANCY_MAX
• config::REDUNDANCY_MIN
• config::REDUNDANCY_PID_KD
• config::REDUNDANCY_PID_KI
• config::REDUNDANCY_PID_KP
• config::SLAVE_TIMEOUT
• config::SSH_PASSWORD
• config::TASK_TIMEOUT
• config::TCP_PER_U64
• config::TCP_TIMEOUT
• config::UDP_BUFFER
• config::UDP_CONTAINER_PORT
• config::UDP_PERIOD