60 return circular_buffer_add(
buffer, spike);
67 return circular_buffer_get_next(
buffer, spike);
75 return circular_buffer_advance_if_next_equals(
buffer, spike);
81 return circular_buffer_get_n_buffer_overflows(
buffer);
103 return circular_buffer_input(
buffer);
110 return circular_buffer_output(
buffer);
116 return circular_buffer_real_size(
buffer);
122 return circular_buffer_size(
buffer);
127 circular_buffer_clear(
buffer);
136 return circular_buffer_value_at_index(
buffer, index);
circular_buffer circular_buffer_initialize(uint32_t size)
void circular_buffer_print_buffer(circular_buffer buffer)
static uint32_t in_spikes_output_index(void)
Get the index in the buffer of the point where the next removal comes from.
static bool in_spikes_get_next_spike(spike_t *spike)
Retrieves a spike from the input spike buffer.
static bool in_spikes_is_next_spike_equal(spike_t spike)
Skips the next spike in the buffer if it is equal to an existing spike.
static uint32_t in_spikes_real_size(void)
Get the size of the input spike buffer.
static spike_t in_spikes_value_at_index(uint32_t index)
Get the spike at a specific index of the input spike buffer.
static uint32_t in_spikes_input_index(void)
Get the index in the buffer of the point where the next insertion goes.
static circular_buffer buffer
Buffer for quickly taking spikes received by a fast interrupt and queueing them for later processing ...
static bool in_spikes_initialize_spike_buffer(uint32_t size)
This function initialises the input spike buffer.
static void in_spikes_clear(void)
clears the input spike buffer.
static uint32_t in_spikes_size(void)
get the size of the input spike buffer
static counter_t in_spikes_get_n_buffer_overflows(void)
Get the number of times that the input spike buffer overflowed.
static counter_t in_spikes_get_n_buffer_underflows(void)
Get the number of times that the input spike buffer underflowed.
static void in_spikes_print_buffer(void)
Print the input spike buffer.
static bool in_spikes_add_spike(spike_t spike)
Adds a spike to the input spike buffer.
Data type definitions for SpiNNaker Neuron-modelling.
uint32_t spike_t
The type of a spike.