Methods
(static) display_edge_menu(graph, edge, x, y)
creates the context menu to change a vertex and display it
Parameters:
| Name | Type | Description |
|---|---|---|
graph |
Object | the graph containing the edge |
edge |
Object | the edge we clicked on and want to change |
x |
float | x position of the top left corner of the menu |
y |
float | y position of the top left corner of the menu |
(static) display_UI_for()
displays exactly those UI elements specific to the machine from {NFA, PDA, Turing, Regex}
(static) display_vertex_menu(graph, v, x, y)
creates the context menu to change a vertex and display it
Parameters:
| Name | Type | Description |
|---|---|---|
graph |
Object | the graph containing the vertex v |
v |
string | the vertex we clicked on and want to change |
x |
float | x position of the top left corner of the menu |
y |
float | y position of the top left corner of the menu |
(static) is_Moore() → {boolean}
reports the type of machine the user is working on
Returns:
true or false
- Type
- boolean
(static) is_NFA() → {boolean}
reports the type of machine the user is working on
Returns:
true or false
- Type
- boolean
(static) is_PDA() → {boolean}
reports the type of machine the user is working on
Returns:
true or false
- Type
- boolean
(static) is_Regex() → {boolean}
reports the type of machine the user is working on
Returns:
true or false
- Type
- boolean
(static) is_Turing() → {boolean}
reports the type of machine the user is working on
Returns:
true or false
- Type
- boolean
(static) remove_context_menu()
wipes the context menu; does nothing if none exists
(static) set_UI_visibility()
show/hide UI specific for a machine
(inner) bind_elongate_textbox()
dynamically change the length of textboxes inside the container