uppaal2jetracer
Contents:
uppaal2jetracer
uppaal2jetracer
Index
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
|
X
|
Z
A
abs_path (DatabaseConnection property)
activate_debug() (CommandHandler static method)
add_binding() (Frame method)
add_function() (Frame method)
add_project() (ProjectManager method)
add_transition() (Location method)
add_version() (Project method)
(VersionManager method)
Array (class in uppaal2jetracer.uppaalmodel.variable)
assignments (Update property)
automata (System property)
automata_controller (SystemController property)
automaton (AutomatonController property)
Automaton (class in uppaal2jetracer.uppaalmodel.system)
automaton_frame (Automaton property)
AutomatonController (class in uppaal2jetracer.controller.uppaal_controller)
AutomatonParser (class in uppaal2jetracer.parser.parser)
B
Base (class in uppaal2jetracer.versioncontrol.models)
BelowRangeError
BooleanVariable (class in uppaal2jetracer.uppaalmodel.variable)
C
c_id (Global property)
can_step() (AutomatonController method)
change_version_limit() (ProjectManager method)
Channel (class in uppaal2jetracer.uppaalmodel.variable)
check_valid_name() (DatabaseConnection method)
check_valid_path() (DatabaseConnection method)
clean_up() (Channel method)
clean_up_channels() (AutomatonController method)
cleanup() (TurnActionClientAsync method)
CLI (class in uppaal2jetracer.cli)
Clock (class in uppaal2jetracer.uppaalmodel.variable)
CollisionController (class in uppaal2jetracer.jetracerros2.jetracerros2.collision_controller)
Command (class in uppaal2jetracer.command_system)
CommandHandler (class in uppaal2jetracer.command_system)
CommandResult (class in uppaal2jetracer.command_system)
CommandResultType (class in uppaal2jetracer.command_system)
Config (class in uppaal2jetracer.versioncontrol.config)
config (DatabaseConnection property)
create_tables() (DatabaseConnection method)
create_temporary_frame() (Frame method)
current_location (AutomatonController property)
current_project (Global property)
current_user (Project property)
D
DatabaseConnection (class in uppaal2jetracer.versioncontrol.database)
date (Project property)
(Version property)
db (ProjectManager property)
(VersionManager property)
DB_PROJECT_NAME_MAX (Config attribute)
DB_VERSION_NAME_MAX (Config attribute)
deactivate_debug() (CommandHandler method)
decision (Guard property)
(Invariant property)
delete_project() (ProjectManager method)
delete_version() (VersionManager method)
DoubleVariable (class in uppaal2jetracer.uppaalmodel.variable)
E
end (Range property)
engine (DatabaseConnection property)
ERROR (HardwareState attribute)
(ResponseType attribute)
ExceedsRangeError
execute() (AutomatonController method)
(Command method)
(FreeAheadCommand method)
(HardwareCommand method)
(JRHardwareCommand method)
(ParseCommand method)
(ParseRunCommand method)
(PotentialCollisionCommand method)
(ProjectCommand method)
(QuitCommand method)
(RunCommand method)
(SetSpeedCommand method)
(TurnCommand method)
(VersionCommand method)
execute_step() (AutomatonController method)
execute_sync() (AutomatonController method)
Executor (class in uppaal2jetracer.controller.executor)
F
FAILURE (CommandResultType attribute)
favorite (Version property)
favorite_version() (VersionManager method)
file (Version property)
FilteredLaserScanSubscriber (class in uppaal2jetracer.jetracerros2.jetracerros2.collision_controller)
Frame (class in uppaal2jetracer.uppaalmodel.frame)
free_ahead (CollisionController property)
(FilteredLaserScanSubscriber property)
free_ahead() (JRHardwareController method)
FREE_AHEAD_COMMAND_NAME (HardwareCommandHandler attribute)
FreeAheadCommand (class in uppaal2jetracer.controller.hardware_command_system)
G
g_id (Global property)
get_all_projects() (ProjectManager method)
get_all_versions() (VersionManager method)
get_command() (HardwareCommandHandler method)
get_config() (ProjectManager method)
get_current_project() (ProjectManager method)
get_function() (Frame method)
get_index() (Array method)
get_model_protected() (Global method)
(Project method)
(Version method)
get_variable() (Frame method)
get_version() (VersionManager method)
Global (class in uppaal2jetracer.versioncontrol.models)
global_frame (System property)
GLOBAL_ID (Config attribute)
GlobalResponse (class in uppaal2jetracer.versioncontrol.versioncontrol)
Guard (class in uppaal2jetracer.uppaalmodel.elements)
guard (Transition property)
H
handle_input() (CLI method)
(CommandHandler method)
hardware_controller (HardwareCommand property)
HARDWARE_FAILURE (HardwareCommandResultType attribute)
hardware_state (HardwareResult property)
HardwareCallError
HardwareCommand (class in uppaal2jetracer.controller.hardware_command_system)
HardwareCommandError
HardwareCommandHandler (class in uppaal2jetracer.controller.hardware_command_system)
HardwareCommandResult (class in uppaal2jetracer.controller.hardware_command_system)
HardwareCommandResultType (class in uppaal2jetracer.controller.hardware_command_system)
HardwareController (class in uppaal2jetracer.controller.hardware_controller)
HardwareError
HardwareResult (class in uppaal2jetracer.controller.hardware_controller)
HardwareState (class in uppaal2jetracer.controller.hardware_controller)
has_command() (HardwareCommandHandler method)
has_pair() (Channel method)
help_message (Command property)
HTTPHandler (class in uppaal2jetracer.httphandler)
I
identifier (Location property)
ImmutableValueError
IndexOutOfRangeError
init_db() (DatabaseConnection method)
initial_location (Automaton property)
IntVariable (class in uppaal2jetracer.uppaalmodel.variable)
InvalidGuardError
InvalidInvariantError
InvalidParamsAmountError
InvalidParamTypeError
InvalidParamValueError
Invariant (class in uppaal2jetracer.uppaalmodel.elements)
invariant (Location property)
is_broadcast (Channel property)
is_constant (Variable property)
is_sending (Synchronization property)
is_valid() (AutomatonController method)
J
JetRacerController (class in uppaal2jetracer.jetracerros2.jetracerros2.jetracer_controller)
JRHardwareCommand (class in uppaal2jetracer.controller.hardware_command_system)
JRHardwareController (class in uppaal2jetracer.controller.hardware_controller)
L
LaserFilter (class in uppaal2jetracer.jetracerros2.jetracerros2.laser_filter)
LaserFilterParameterSetter (class in uppaal2jetracer.jetracerros2.jetracerros2.collision_controller)
last_subscription_time (ServoMotorController property)
Location (class in uppaal2jetracer.uppaalmodel.elements)
LocationParser (class in uppaal2jetracer.parser.parser)
locations (Automaton property)
loggers (Command property)
M
main() (in module uppaal2jetracer.jetracerros2.jetracerros2.jetracer_controller)
(in module uppaal2jetracer.jetracerros2.jetracerros2.laser_filter)
(in module uppaal2jetracer.jetracerros2.jetracerros2.servo_motor_controller)
(Uppaal2JetRacer static method)
MAX_RANGE_PARAM (LaserFilter attribute)
message (CommandResult property)
(ResponseObject property)
metadata (Base attribute)
MIN_RANGE_PARAM (LaserFilter attribute)
module
uppaal2jetracer
uppaal2jetracer.cli
uppaal2jetracer.command_system
uppaal2jetracer.controller
uppaal2jetracer.controller.executor
uppaal2jetracer.controller.hardware_command_system
uppaal2jetracer.controller.hardware_controller
uppaal2jetracer.controller.uppaal_controller
uppaal2jetracer.httphandler
uppaal2jetracer.jetracerros2
uppaal2jetracer.jetracerros2.jetracerros2
uppaal2jetracer.jetracerros2.jetracerros2.collision_controller
uppaal2jetracer.jetracerros2.jetracerros2.jetracer_controller
uppaal2jetracer.jetracerros2.jetracerros2.laser_filter
uppaal2jetracer.jetracerros2.jetracerros2.servo_motor_controller
uppaal2jetracer.jetracerros2.jetracerros2.speed_controller
uppaal2jetracer.jetracerros2.jetracerros2.turn_controller
uppaal2jetracer.parser
uppaal2jetracer.parser.parser
uppaal2jetracer.uppaalmodel
uppaal2jetracer.uppaalmodel.elements
uppaal2jetracer.uppaalmodel.frame
uppaal2jetracer.uppaalmodel.system
uppaal2jetracer.uppaalmodel.variable
uppaal2jetracer.versioncontrol
uppaal2jetracer.versioncontrol.config
uppaal2jetracer.versioncontrol.database
uppaal2jetracer.versioncontrol.models
uppaal2jetracer.versioncontrol.versioncontrol
N
name (Automaton property)
(Location property)
(Project property)
(Version property)
O
OK (HardwareState attribute)
(ResponseType attribute)
P
p_id (Project property)
(Version property)
parent (Frame property)
parse() (AutomatonParser static method)
(LocationParser static method)
(SystemParser static method)
(TransitionParser static method)
(UppaalParser static method)
parse_command_name (CommandHandler property)
parse_run_command_name (CommandHandler property)
ParseCommand (class in uppaal2jetracer.command_system)
ParseRunCommand (class in uppaal2jetracer.command_system)
PARTIAL_SUCCESS (HardwareCommandResultType attribute)
payload (CommandResult property)
(GlobalResponse property)
(ProjectResponse property)
(ResponseObject property)
(VersionResponse property)
potential_collision (CollisionController property)
(FilteredLaserScanSubscriber property)
potential_collision() (JRHardwareController method)
POTENTIAL_COLLISION_COMMAND_NAME (HardwareCommandHandler attribute)
PotentialCollisionCommand (class in uppaal2jetracer.controller.hardware_command_system)
Project (class in uppaal2jetracer.versioncontrol.models)
project (Version property)
project_command_name (CommandHandler property)
ProjectCommand (class in uppaal2jetracer.command_system)
ProjectManager (class in uppaal2jetracer.versioncontrol.versioncontrol)
ProjectResponse (class in uppaal2jetracer.versioncontrol.versioncontrol)
Q
quit() (CommandHandler method)
quit_command_name (CommandHandler property)
QuitCommand (class in uppaal2jetracer.command_system)
R
Range (class in uppaal2jetracer.uppaalmodel.variable)
receiving_transitions (Channel property)
register_receiving() (Channel method)
register_sending() (Channel method)
registry (Base attribute)
remove_db() (DatabaseConnection method)
remove_version() (Project method)
reset() (Array method)
(BooleanVariable method)
(Channel method)
(Clock method)
(DoubleVariable method)
(Frame method)
(IntVariable method)
(Range method)
(StringVariable method)
(Variable method)
ResponseObject (class in uppaal2jetracer.versioncontrol.versioncontrol)
ResponseType (class in uppaal2jetracer.versioncontrol.versioncontrol)
result (HardwareCommandResult property)
(HardwareResult property)
(TurnActionClientAsync property)
result_type (CommandResult property)
(HardwareCommandResult property)
return_type (HardwareCommandResult property)
run_command() (HardwareCommandHandler method)
run_command_name (CommandHandler property)
run_system() (SystemController method)
RunCommand (class in uppaal2jetracer.command_system)
S
SECTION_END_PARAM (LaserFilter attribute)
SECTION_START_PARAM (LaserFilter attribute)
select_project() (ProjectManager method)
send_speed_request() (SetSpeedClientAsync method)
send_turn_goal_async() (TurnActionClientAsync method)
sending_transitions (Channel property)
ServoMotorController (class in uppaal2jetracer.jetracerros2.jetracerros2.servo_motor_controller)
session (DatabaseConnection property)
set_coefficient() (ServoMotorController method)
set_index() (Array method)
set_max_range() (LaserFilterParameterSetter method)
set_max_range_async() (CollisionController method)
set_min_range() (LaserFilterParameterSetter method)
set_min_range_async() (CollisionController method)
set_params() (ServoMotorController method)
set_section_end() (LaserFilterParameterSetter method)
set_section_end_async() (CollisionController method)
set_section_start() (LaserFilterParameterSetter method)
set_section_start_async() (CollisionController method)
set_speed() (JRHardwareController method)
(SpeedController method)
SET_SPEED_COMMAND_NAME (HardwareCommandHandler attribute)
set_velocity() (ServoMotorController method)
SetSpeedClientAsync (class in uppaal2jetracer.jetracerros2.jetracerros2.speed_controller)
SetSpeedCommand (class in uppaal2jetracer.controller.hardware_command_system)
shutdown() (CollisionController method)
(HardwareController method)
(JRHardwareController method)
(SpeedController method)
(TurnController method)
source (Transition property)
SpeedController (class in uppaal2jetracer.jetracerros2.jetracerros2.speed_controller)
start (Range property)
status (TurnActionClientAsync property)
step() (AutomatonController method)
stop() (Executor static method)
(HardwareCommandHandler method)
(HardwareController method)
(JRHardwareController method)
StringVariable (class in uppaal2jetracer.uppaalmodel.variable)
SUCCESS (CommandResultType attribute)
(HardwareCommandResultType attribute)
Synchronization (class in uppaal2jetracer.uppaalmodel.elements)
synchronization (Synchronization property)
(Transition property)
System (class in uppaal2jetracer.uppaalmodel.system)
system (SystemController property)
system_frame (System property)
SystemController (class in uppaal2jetracer.controller.uppaal_controller)
SystemParser (class in uppaal2jetracer.parser.parser)
T
target (Transition property)
toggle_favorite() (Version method)
Transition (class in uppaal2jetracer.uppaalmodel.elements)
TransitionParser (class in uppaal2jetracer.parser.parser)
transitions (Location property)
turn() (JRHardwareController method)
(TurnController method)
TURN_COMMAND_NAME (HardwareCommandHandler attribute)
TurnActionClientAsync (class in uppaal2jetracer.jetracerros2.jetracerros2.turn_controller)
TurnCommand (class in uppaal2jetracer.controller.hardware_command_system)
TurnController (class in uppaal2jetracer.jetracerros2.jetracerros2.turn_controller)
type (ResponseObject property)
type_annotation_map (Base attribute)
U
UnexpectedTypeError
Update (class in uppaal2jetracer.uppaalmodel.elements)
update (Transition property)
update_webinterface() (HTTPHandler method)
uppaal2jetracer
module
Uppaal2JetRacer (class in uppaal2jetracer.cli)
uppaal2jetracer.cli
module
uppaal2jetracer.command_system
module
uppaal2jetracer.controller
module
uppaal2jetracer.controller.executor
module
uppaal2jetracer.controller.hardware_command_system
module
uppaal2jetracer.controller.hardware_controller
module
uppaal2jetracer.controller.uppaal_controller
module
uppaal2jetracer.httphandler
module
uppaal2jetracer.jetracerros2
module
uppaal2jetracer.jetracerros2.jetracerros2
module
uppaal2jetracer.jetracerros2.jetracerros2.collision_controller
module
uppaal2jetracer.jetracerros2.jetracerros2.jetracer_controller
module
uppaal2jetracer.jetracerros2.jetracerros2.laser_filter
module
uppaal2jetracer.jetracerros2.jetracerros2.servo_motor_controller
module
uppaal2jetracer.jetracerros2.jetracerros2.speed_controller
module
uppaal2jetracer.jetracerros2.jetracerros2.turn_controller
module
uppaal2jetracer.parser
module
uppaal2jetracer.parser.parser
module
uppaal2jetracer.uppaalmodel
module
uppaal2jetracer.uppaalmodel.elements
module
uppaal2jetracer.uppaalmodel.frame
module
uppaal2jetracer.uppaalmodel.system
module
uppaal2jetracer.uppaalmodel.variable
module
uppaal2jetracer.versioncontrol
module
uppaal2jetracer.versioncontrol.config
module
uppaal2jetracer.versioncontrol.database
module
uppaal2jetracer.versioncontrol.models
module
uppaal2jetracer.versioncontrol.versioncontrol
module
UppaalElement (class in uppaal2jetracer.uppaalmodel.elements)
UppaalParser (class in uppaal2jetracer.parser.parser)
V
v_id (Version property)
value (Array property)
(Clock property)
(Range property)
(Variable property)
Variable (class in uppaal2jetracer.uppaalmodel.variable)
Version (class in uppaal2jetracer.versioncontrol.models)
version_command_name (CommandHandler property)
version_max (Global property)
VERSION_MAX_HIGH (Config attribute)
VERSION_MAX_LOW (Config attribute)
VersionCommand (class in uppaal2jetracer.command_system)
VersionManager (class in uppaal2jetracer.versioncontrol.versioncontrol)
VersionResponse (class in uppaal2jetracer.versioncontrol.versioncontrol)
versions (Project property)
(ProjectResponse property)
visit_arraydecl() (Executor method)
visit_arrayref() (Executor method)
visit_assignment() (Executor method)
visit_binaryop() (Executor method)
visit_compound() (Executor method)
visit_compoundliteral() (Executor method)
visit_constant() (Executor method)
visit_decl() (Executor method)
visit_decllist() (Executor method)
visit_emptystatement() (Executor method)
visit_exprlist() (Executor method)
visit_fileast() (Executor method)
visit_funccall() (Executor method)
visit_funcdecl() (Executor method)
visit_funcdef() (Executor method)
visit_id() (Executor method)
visit_identifiertype() (Executor method)
visit_initlist() (Executor method)
visit_namedinitializer() (Executor method)
visit_paramlist() (Executor method)
visit_rangedecl() (Executor method)
visit_return() (Executor method)
visit_struct() (Executor method)
visit_structref() (Executor method)
visit_typedecl() (Executor method)
visit_typedef() (Executor method)
visit_typename() (Executor method)
visit_unaryop() (Executor method)
X
XMLParseError
Z
zero_velocity() (ServoMotorController method)