PerceMon
|
#include <monitoring.hpp>
Public Member Functions | |
OnlineMonitor (ast::Expr phi_, const double fps_, double x_boundary, double y_boundary) | |
void | add_frame (const datastream::Frame &frame) |
void | add_frame (datastream::Frame &&frame) |
double | eval () |
size_t | get_max_horizon () const |
size_t | get_fps () const |
const ast::Expr & | get_phi () |
Object representing the online monitor.
void percemon::monitoring::OnlineMonitor::add_frame | ( | const datastream::Frame & | frame | ) |
Add a new frame to the monitor buffer
double percemon::monitoring::OnlineMonitor::eval | ( | ) |
Compute the robustness of the currently buffered frames.