PerceMon
percemon::monitoring::OnlineMonitor Struct Reference

#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 ()
 

Detailed Description

Object representing the online monitor.

Member Function Documentation

◆ add_frame()

void percemon::monitoring::OnlineMonitor::add_frame ( const datastream::Frame frame)

Add a new frame to the monitor buffer

◆ eval()

double percemon::monitoring::OnlineMonitor::eval ( )

Compute the robustness of the currently buffered frames.


The documentation for this struct was generated from the following file: