Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Sd_logic.Robot_state_history
Sourceval create :
?default_length:int ->
?sd_lengths:(Sd.Packed.t, int, Sd.Packed.comparator_witness) Core.Map.t ->
unit ->
t
nth_state t i
returns Some
of the i
th most recent state from t
, or None
if t
doesn't have more than i
states. O(log(n)) time complexity in length of t
.
get_current_state t
is equivalent to get_state 0
. O(1) time complexity.
add_state t state
adds state
to t
. O(log(n)) time complexity in length of t
.
use t state
replaces the current state with Robot_state.use (curr_state t) state
find t sd
is equivilant to Robot_state.find (curr_state t) sd
find_past t n sd
is equivalent to Robot_state.find (nth_state t n) sd
mem_past t n sd
is equivilant to Robot_state.mem (nth_state t n) sd
memp t sd
is equivilant to Robot_state.memp (curr_state t) sd
memp_past t n sd
is equivilant to Robot_state.memp (nth_state t n) sd